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