 It is worth noting that the previous arguments depart from a very strong assumption: that the metaproperty DMT is preserved in the combined logic. As we shall see below, this is not the case for algebraic fibring, unless a stronger notion of morphism between logics is adopted.