 The three rectangular cells are intended to be jointly exhaustive and mutually exclusive: every proposition is either necessary, contingent (possibly true but also possibly false), or impossible, but no proposition is more than one of these. The possible propositions are those that are either necessary or contingent, the non-necessary propositions are those that are either impossible or contingent, and the non-contingent ones are those either necessary or impossible.