Coda comments on Sorting Pebbles Into Correct Heaps