negation as failure exercises