Ben comments on Thatcher’s Axiom