 On the other hand, suppose that we are dealing with a category of logic systems in which the preservation of rules such as \((*)\) or \((**)\) above is required by the very notion of morphism. Thus, if a logic \({{\cal L}}\) is obtained as a combination of two other systems \({{\cal L}}_1\) and \({{\cal L}}_2\) then the rules of \({{\cal L}}_1\) and \({{\cal L}}_2\) would be faithfully transferred to \({{\cal L}}\). This is the proposal of Coniglio 2007, in which algebraic fibring in categories of sequent calculi is investigated, taking into account a notion of morphism which preserves logical rules of the form   \[ \textit{If  }\;\; \Gamma_1\vdash\varphi_1 \;\;\textit{ and  …  and  }\;\; \Gamma_n\vdash\varphi_n \;\;\textit{  then }\;\; \Gamma\vdash\varphi. \]   