Coherence of Negation