Rationality Verification - History — LessWrong