In logic, contingency is the feature of a statement making it neither necessary nor impossible.[1][2] Contingency is a fundamental concept of modal logic. Modal logic concerns the manner, or mode, in which statements are true. Contingency is one of three basic modes alongside necessity and possibility. In modal logic, a contingent statement stands in the modal realm between what is necessary and what is impossible, never crossing into the territory of either status. Contingent and necessary statements form the complete set of possible statements. While this definition is widely accepted, the precise distinction (or lack thereof) between what is contingent and what is necessary has been challenged since antiquity.