  As noted above, Kripke's three-valued semantics allows three truth values, true (t), false (f), and neither (n). Given a ground model M =   &lt;D, I &gt; for a truth language L, the candidate interpretations of T are three-valued interpretations, i.e., functions h : D → { t, f, n }. Given a three-valued interpretation of T, and a scheme for evaluating the truth value of composite sentences in terms of their parts, we can specify a truth value ValM+h(A) = t, f or n, for every sentence A of L. The central theorem of the three-valued semantics is that, given any ground model M, there is a three-valued interpretation h of T so that, for every sentence A, we have ValM+h(T ‘A’)  =  ValM+h(A).[7]  We will call such an interpretation of T an acceptable interpretation. Our point here is this: if there's a truth-teller, as in (11), then there is not only one acceptable interpretation of T; there are three: one according to which (11) is true, one according to which (11) is false, and one according to which (11) is neither. Thus, there is no single “correct” interpretation of T given a ground model M. Thus the three-valued semantics seems to violate the supervenience of  semantics.[8] 