dp: ch6 semantics of negation