Dings_Predicate_Must

I am a Predicate that expresses a mandatory Constraint.