• A classification of propositions on the basis of whether they claim necessity or possibility or impossibility