I'm most likely missing something obvious, but where is this constraint used?