TAG comments on Thatcher’s Axiom