$${P_1 \perp P_2}$$