JBlack comments on Thatcher’s Axiom