Double Crux in a Box — LessWrong