 The leading idea of an interpretation is that the model user first identifies sets of relevant objects in the model and the target, and then pins down sets of properties and relations these objects instantiate both in the model and the target. The user then (a) takes \(M\) to denote \(T\); (b) takes every identified object in the model to denote exactly one object in the target (and every relevant object in the target has to be so denoted); (c) takes every property and relation in the model to denote a property or relation of the same type in the target (and, again, and every property and relation in the target has to be so denoted). A formal rendering of these conditions is what Contessa calls an “analytic interpretation” (see his 2007: 57–62 for details; he also includes an additional condition pertaining to functions in the model and target, which we suppress for brevity).