  If propositions are structured entities, then sameness of constituents and sameness of order will entail identity. There are, of course, dangers, in regarding propositions as structured. Prima facie, one would rather not claim that the proposition that x is triangular is identical to the proposition that x is trilateral, since a subject might believe one but not the other. It will be important, then, not to individuate propositions too coarsely. However, one might worry, in the opposing direction, about overly fine individuations of propositions.  Is the proposition that John loves Mary different from the proposition that Mary is loved by John?  For more on structured propositions, see the entry on  structured propositions.[9]