so this code is computing the intersection of the old isOff state with the new domain?