Putnam's semantic externalism entails that BIV-English 'vat' refers to vat-images, not vats, so BIV ...