I don’t know how you would code all that, but if we can’t design simple constraints, we can’t correctly design more complex ones.
What makes you think these constraints are at all simple?
What makes you think these constraints are at all simple?