According to Brueckner, since (Cons) is not disquotational, the metalanguage in which it is expressed cannot contain the object language to which utterances of ‘I am a BIV’ (as meant in (Cons)) belongs. But then, Brueckner argues, (Cons) can express a truth at a vat-world only if its speaker is not in a vat-world. Here, Brueckner seems to reason that since the metalanguage being used to express (Cons) does not contain the object language being described (vat-English), the metalanguage being used