Both principles are highly plausible. (P1) is plausible because being true is a property and there must be something that has a property in order for that property to be instantiated. So, had it been that a given proposition were true, then there must have been something — namely, that proposition — that would have had the property of being true. (P2) states the intuitive truth conditions of (7), being an instance of the modalized propositional equivalent of the Tarski truth-schema s is true iff