 If we represent the narrow-scope contrariety operator of It is not-white as \(\copy A\), its contradictory, \(\neg\copy A\)(It isn’t not-white), does not return us to the simple positive \(A\). The result, if not the means, is similar to that in intuitionistic logic (Heyting 1956). The intuitionistic negation operator does not cancel out, given that the intuitionistic Law of Double Negation is valid in only one direction, \(A \rightarrow \neg \neg A\), while \(\neg \neg A \rightarrow A\) does not apply (see the entry on  intuitionistic logic).  The intuitionists posit just one negation operator that sustains double introduction but not double cancellation, while the Aristotelian system distinguishes contradictory (sentential) predicate denial from contrary (constituent) predicate term negation.