20070513 unknown: What is the pigeonhole principle?