Among the needs, the section preferably should "keep track of constraint information to name...