Since p differs in truth value in the described counterfactual circumstance from the propositions expressed by (2) and (3), it follows that p is distinct from the propositions expressed by (2) and (3). This is because, as propositions are the objects that are true or false in counterfactual circumstances, if p = p*, then p and p* have the same truth value in all counterfactual circumstances. These considerations suggest that the proposition expressed by David's utterance of (1) is about Paul dir