back to Pigeonhole Principle