 We now discuss the method that is most commonly used to prove that a class of algebras \(\bK\) is a \(\delta(p) \approx \varepsilon(p)\)-algebraic semantics for a logic \(\bL\), namely the Lindenbaum-Tarski method. It is the standard method used to prove that the classes of algebras of the examples mentioned in  Section 5  are algebraic semantics for the corresponding logics.