Kaj_Sotala comments on Sorting Pebbles Into Correct Heaps