6.1 Constraints

See [3, §3.2.15].