x
Reasoning Understood as Invariants Under Transformation — LessWrong