Work on pigeonhole_principle