;;; Some notes on sorting