2021-05-26 11:41:27+00:00 In reply to @honeypisquared @honeypisquared This has to lead to a better name for the pigeonhole principle. But what...