Sorting Pebbles Into Correct Heaps — LessWrong