 A hierarchy of logic systems grounded on the replacement principles discussed in  Section 11  instead of on the behaviour of the Leibniz congruences is also considered in abstract algebraic logic. It is known as the Frege hierarchy. Its classes are those of selfextensional logics, fully selfextensional logics, Fregean logics and the class of fully Fregean logics that we define now. 