P_2 \preceq P_1