junk heap homotopy — LessWrong