Recognizing Optimality — LessWrong