When pigeons outnumber pigeonholes, some birds must double up. This obvious statement, and its inverse, have deep connections to many areas of math and computer science.