ordinal.infinite_pigeonhole source