([0](p0 -> p1) -> (<12>p0 -> <12>p1)) -> <2>([1]p0 -> <1>p0)