Pigeonhole proof WIP