By the way, why do we enforce this constraint?