constrainment

not defined yet