Subjunctive possibility (also called alethic possibility) is the form of modality most frequently studied in modal logic. Subjunctive possibilities are the sorts of possibilities we consider when we conceive of counterfactual situations; subjunctive modalities are modalities that bear on whether a statement might have been or could be true—such as might, could, must, possibly, necessarily, contingently, essentially, accidentally, and so on. Subjunctive possibilities include logical possibility, metaphysical possibility, nomological possibility, and temporal possibility.