Internal Double Crux — LessWrong