  By our stipulation, ‘proposition’ is used to pick out the objects of the attitudes and the bearers of truth and falsity. One would therefore expect that if there are propositions, they would figure importantly in the semantics of attitude- and truth-ascriptions. One would expect, in particular, that in ‘S believes that p’, and in ‘that p is true’, the that-clauses would refer to  propositions.[3]