Double Crux In A Box — LessWrong