[SEQ RERUN] 3 Levels of Rationality Verification — LessWrong