yes = not (a /= b)