 These examples illustrate the advantages of using category theory and their tools for defining combination procedures as universal constructions: the same construction (in this case, algebraic fibring) can be performed in categories of logic systems with different features obtaining, as a consequence of this, stronger or weaker logic systems.