Applied Rationality: Goal Factoring & Double Crux — LessWrong