 The logic \(\bgK\) is algebraizable and \(\blK\) is not. The equivalent algebraic semantics of \(\bgK\) is the variety \(\bMA\) of modal algebras, the set of equivalence formulas is the set \(\{p \leftrightarrow q\}\) and the set of defining equations is \(\{p \approx \top \}\). Interestingly, \(\blK\) and \(\bgK\) have the same algebraic counterpart (i.e., \(\bAlg \blK = \bAlg \bgK)\), namely, the variety of modal algebras.