  We have given only the barest exposition of the three-valued semantics, in our discussion of the supervenience of the signification of truth, above. Given a truth language L and a ground model M, we defined an acceptable three-valued interpretation of T as an interpretation   h : D → { t, f, n } such that ValM+h(T‘A’) = ValM+h(A) for each sentence A of L. In general, given a ground model M, there are many acceptable interpretations of T. Suppose that each of these is indeed a truly acceptable interpretation. Then the three-valued semantics violates the supervenience of the signification of T. 