This is known as the distribution constraint