socrates — LessWrong