A taxonomy of Cruxes — LessWrong