 A logic system \(\bL\) is assertional when there exists a class of algebras \(\bK\) in the algebraic language of \(\bL\) and a constant term \(\phi\) for \(\bK\) such that \(\bL\) = \(\bL_{\bK}^{\phi}\).