 It should be clear that on this account of propositions sentences that are necessarily equivalent may express distinct propositions, and that the semantic values of expressions in a sentence are recoverable from the proposition it expresses. For example, ‘All bachelors are unmarried’ and ‘All brother are male’ are both true in all possible worlds. But on the present view, the former expresses a proposition that has as a constituent a propositional function mapping an object to the proposition that that object is unmarried; the latter does not. Further, e.g. the semantic value of ‘runs’ as it occurs in sentence (4) is recoverable from the proposition (4) expresses in that it is a constituent of that proposition. Similar remarks apply to 5/5a and 6/6a (except that in 6a the semantic value of ‘runs’ is encoded in g: that is, g maps individuals o to the proposition that o runs, which in turn has the semantic value of ‘runs’ as a constituent).