constrain 1 * constrained 6 - constraineth 2 - constraint 1 - ~~~~~~