 With these points about Externalism in mind, consider Putnam’s BIVA [we follow the formulation section 7 of the entry  skepticism and content externalism].  Let us call whatever it is that an envatted brain’s symbol ‘tree’ refers to, if it refers at all, \(v\)-trees. Then the BIVA is: 