Implementation of Constraint (untested).