 The problems connected with his first theory of the semantics of propositions are thereby solved. The real proposition of his first theory is split into the mental proposition habens esse obiectivum in intellectu and the (new) proposition in re, both of which have a well-defined semantic and ontological status. In addition, false propositions have meaning (i.e., the mental proposition habens esse obiectivum in intellectu), but no reference, as no real proposition matches them. However, a new question could arise: if universals and singulars, and the ten categories, are really distinct, how can Burley maintain that there must be an identity relation holding between the things signified by the subject and predicate of every true affirmative sentence?