But there is scope here for logical inference, even more so than before; likewise, there are pitfalls, more than before.
this takes at most quadratic time (i.e., O(n 2 ), where n is the number of elements in the domain).