We have three choices: it is not a law (take the intersection of the tied systems); it is a law (take the union); it is indeterminate whether it is law (apply a general treatment for failed presuppositions of uniqueness).