 The negation principles of Dunn and Zhou’s lopsided kite correspond in the sense of modal correspondence theory to properties of compatibility frames. A rule \(r\) corresponds to a property \(E\) iff the rule \(r\) is valid on a compatibility frame just in case the frame satisfies \(E\). Greg Restall (2000) observed that double negation elimination corresponds to a property of both \(C\) and the relation of possible expansion of information states \(\leq\), the other negation principles have been shown to correspond to properties only of the compatibility relation \(C\), see Dunn 1996, Dunn and Zhou 2005, Berto 2014. In the following list, “&amp;” denotes conjunction, “\(\Rightarrow\)” denotes Boolean implication, and “\(\forall\)” and “\(\exists\)” refer to universal and existential quantification, respectively, in the metalanguage: