Before revision:  We propose a new principle  called the pigeonring principle which formally captures such constraints and yields stronger conditions.
After revision:  We propose a new principle called the pigeonring principle , which constrains the number of items in multiple boxes and yields stronger conditions.