Self-verification — LessWrong