david sinclair — LessWrong