True! but keep in mind that we cannot do a true (domain1 OR domain2) operation (it has to be keywise union) which provides a superset of the OR operation. So the only time we can truly reduce to just (domain1 OR domain2) AND expression1 is when the Domains are across the same single symbols, or if one side fully encapsulates the other. In every other case, we need to evaluate the whole node again because the keywise union domain map will not provide a strict bound on the data.