What you mean is: "if there is no `shared` difference between lhs and rhs", right?