Noosphere89 comments on Thatcher’s Axiom