a = not b