Super HN

New Show
   The undeserved status of the pigeon-hole principle (EWD 1094) (cs.utexas.edu)