Introduction. Neo-Socratism. Challenge. — LessWrong