Allen Thomas — LessWrong