x
Thatcher's Axiom — LessWrong