(p or q) implies not q