Those who reject the expressive limitations of modalism can help themselves to richer ontological resources in characterizing haecceitism. For example, if quantification over possibilities is allowed for, two distinctions among possibilities prove especially helpful for formulating haecceitism. According to the first distinction, some possibilities are maximal: they are total ways the entire world could have been. So, for any possibility, a maximal possibility includes that possibility or its negation. (On some views, talk of possibilities including other possibilities is understood in terms of entailment. On other views, “inclusion” is understood in terms of set membership—e.g., membership relations between sets of propositions. Here, inclusion is taken as a neutral bit of terminology.) In contrast, non-maximal possibilities like the possibility that Obama is human are less than total ways things could have been.