For good measure here's a link to Dijkstra's The undeserved status of the pigeon-hole principle.
https://www.cs.utexas.edu/~EWD/transcriptions/EWD10xx/EWD109...
For even better measure here's a slice of HN reactions to EWD1094:
https://news.ycombinator.com/item?id=46085897
For even better measure here's a slice of HN reactions to EWD1094:
https://news.ycombinator.com/item?id=46085897