Thatcher's Axiom — LessWrong