A pigeonhole