Killing Socrates — LessWrong