The quantifier swap in P2 is only valid if the domain of quantification is held fixed across all pos...