Okay, but if A implies B, then NOT A does not necessarily imply NOT B.