 An example will help motivate the relation between theory and model. Two qualifications are required: (i) we return to a more standard set-/model-theoretic illustration below, viz., McKinsey, Sugar, and Suppes’ (1953) axiomatization of particle mechanics, and (ii) this motivational example is not from the heartland of model theory (see Hodges 2013). Following van Fraassen’s intuitive case of “seven-point geometry” (1980, 41–44; 1989, 218–220), also known as “the Fano plane” we see how a particular geometric figure, the model, interprets and makes true a set of axioms and theorems, the theory. In topology and geometry there is rich background theory regarding how to close Euclidean planes and spaces to make finite geometries by, for instance, eliminating parallel lines. Consider the axioms of a projective plane: