 What we need, then, is an approach to semantics which can explain how sentences like  (13) and (14),  and hence also  (15) and (16),  can express different propositions. That is, we need a view of propositions which makes room for the possibility that a pair of sentences can be true in just the same circumstances but nonetheless have genuinely different contents.