Logicians are often interested in displaying the underlying logical structure of a theory, physical or mathematical, and in exploring whether or not there are alternatives, usually by changing the underlying logical principles. One could imagine a geometry based not on classical logic, but, e.g., on intuitionistic logic, where principles such as the excluded third, i.e., \(p\) or not-\(p\), for any statement \(p\), or double negation, i.e., if not-not-\(p\) then \(p\), no longer hold. Often the goal is to find a complete classification of all possibilities. This approach implies that the logician working on and developing discrete models, does not necessarily believe that these models are correct or true in some sense. They merely help to understand better what classical geometry is.