 Classical Fregean logic allows for but one negative operator, the contradictory-forming propositional operator applying to a proposition or open sentence, in keeping with “the thesis that all forms of negation are reducible to a suitably placed ‘it is not the case that’” (Prior 2006, 524). Not unexpectedly, Frege (1919, 130) proclaims the logical superfluity of double negation: “Wrapping up a thought in double negation does not alter its truth value”. Within this metaphor, \(\neg\neg A\) is simply a way of garbing the thought or proposition \(A\).