 We may observe that Dunn and Zhou’s lopsided kite of negations can be equilibrated, for example, by inserting the sequent schema \(\osim \osim \osim A \vdash \osim A\). This schema corresponds to the following first-order condition on \(C\) (as calculated with the help of the SQEMA algorithm for computing first-order correspondences in modal logic due to Georgiev, Tinchev, and Vakarelov (see  Other Internet Resources):   \[ \forall x \forall y (xCy \Rightarrow \exists z (xCz \amp \forall u (zCu \Rightarrow uCy))).\] 