Saturday, August 9, 2014 at 1:37 PM @groundh0g sure he's talking about writing nice informal math specifications for quicksort instead of pseudocode it's great