  Let's formalize the semiformal reasoning carried out in Example 3.1. First we hypothesized that certain sentences were, or were not, in the extension of T. Consider ordinary classical model theory. Suppose that our language has a predicate G and a name a, and that we have a model M = &lt;D, I &gt; which places the referent of a inside the extension of G: