Same as above, we should store the and of the constraints in a temp variable.