!(a implies b)