m1 and m2 are independent given all states x = {x1, x2, ...}