It's very weird to have a non-equational constraint, so I did not really expect that. I guess revert, at least in the short run? I imagine we could see which constraints to actually check, although it sucks to have to do this because of one constraint only.