Infinite-pigeonhole helpers for finite codomains.