 A lesson to draw from this example is that the algebraic counterpart \(\bAlg\bL\) of a logic \(\bL\) does not necessarily fully encode the properties of \(\bL\). The class of modal algebras encodes the properties of \(\bgK\) because this logic is algebraizable and therefore the link between \(\bgK\) and \(\bAlg \bgK\) is as strong as possible. But \(\bAlg \blK\), the class of modal algebras, cannot by itself completely encode the properties of \(\blK\).