1023s ! ' : intransitive constraint on a binary predicate with a simple uniqueness constraint is redundant .
unbridled restrictions in a binary predilection with a simple limit of uniqueness are redundant .