 Theorem 2.1  (1) M1 can be expanded to exactly one Tarskian model: in this model, the sentences (Tβ   ∨  Tγ) and Tα are true, while the sentence ¬Tα is false. (2) M2 can be expanded to exactly two Tarskian models, in one of which the sentence Tτ is true and in the other of which the sentence Tτ is false. (3) M3 cannot be expanded to a Tarskian model. 