RobinHanson comments on Sorting Pebbles Into Correct Heaps