Shifting Load to Explicit Reasoning — LessWrong