On Equivalence of Supergoals — LessWrong