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 formally captures such constraints and yields stronger conditions.