Horwich versus Tarski (The Reasoner, 2008)