EWD 1094 – The undeserved status of the pigeon-hole principle (1991)