 A sentence \(S\) divides all its possible interpretations into two classes, those that are models of it and those that are not. In this way it defines a class, namely the class of all its models, written \(\Mod(S)\). To take a legal example, the sentence 