Cis forConstraint