p differs in truth value from the propositions expressed by (2) and (3) in the described counterfact...