(p and not q) implies q