 In the formal semantics offered by Salmon and Soames, propositions are ordered n-tuples (or concatenations of n-tuples), as are (4a), (5a), (5b) etc. above. But since Salmon and Soames say nothing explicitly about the matter, it is unclear whether these n-tuples and concatenations merely represent propositions in the formalism, or whether Soames and Salmon take them to be propositions. If the former, then the Salmon and Soames view is incomplete and we need to be told what propositions really are, and more specifically what it is that really holds propositions together (i.e. what the corner brackets in (4a), (5a) etc. stand for). If the latter, then the view at least seems to have trouble accounting for some of the properties possessed by propositions. Propositions have truth conditions: they are true or false, depending on how the world is. So if some ordered n-tuples are propositions, some ordered n-tuples have truth conditions. But ordered n-tuples don’t seem to be the kinds of things that have truth conditions. Indeed, presumably many ordered n-tuples have no truth conditions, (e.g. &lt; 1,2,3 &gt;). So how/why did those n-tuples that are propositions come to have truth conditions? Similar remarks apply to modal properties. Propositions are necessary, contingent, and possible. These, again, don’t seem to be properties of n-tuples. Finally, if propositions are ordered n-tuples, that is, set theoretic constructions, it is hard to see why a particular set theoretic construction is the proposition in question (and so has truth conditions, modal properties, etc.) as opposed to some other set theoretic construction that seems equally well suited to the task. For example, we said that the sentence