On Leverage Research's plan for an optimal world — LessWrong