 where, as Brueckner puts it, “‘I am a BIV*’ formulates the Putnamian non-disquotational truth conditions, whatever they are”. (As Brueckner had explained earlier (1992 [1999: 47]), these truth conditions would be “non-disquotational”, since the metalanguage in which they are stated does not contain the object language to which the the relevant BIV tokens of ‘I am a BIV’ belong.) Now for (Cond) to be true, its consequent must be true when evaluated at a vat-world. So consider the consequent of (Cond.):