3 Levels of Rationality Verification — LessWrong