I haven’t tried it out yet, so does it tell which constraint was not satisfied? Otherwise that’s one more unnecessary guess work.

But as usual the syntax is still way too verbose and obtuse.