P_1 \preceq P_2