[MaxBarraclough]

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...

[ky3]

For even better measure here's a slice of HN reactions to EWD1094:

https://news.ycombinator.com/item?id=46085897