 Ortho negations satisfy all principles shown in the lopsided kite. An ortho negation in a logic with conjunction distributing over disjunction (or, equivalently, disjunction distributing over conjunction), is called a Boolean or classical negation. Boolean negation is uniquely determined in the sense that if \(\osim _1\) and \(\osim _2\) are Boolean negations, then \(\osim _1 A\) and \(\osim _2 A\) are interderivable; ortho negation is not uniquely determined, see Restall 2000, and for the uniqueness of connectives Humberstone 2011 and the entry on  sentence connectives in formal logic.