Logic. Cognition. — LessWrong