 For example, where a is the spoken or written proposition ‘a is false’, a corresponds to and expresses the conjunction of two mental propositions. The first conjunct signifies that a is false. Note that this mental proposition is not the insoluble a, since that was in spoken or written language whereas this proposition is mental. Unlike a, this proposition is not self-referential; it refers instead to a.