 Independently, in Beziau 2004 it was observed that by putting together the sequent rules for classical conjunction and the rules for classical disjunction, the resulting sequent calculus will (unexpectedly) prove the distributivity between conjunction and disjunction. The same phenomenon occurs if we join the (two-valued) valuation clauses for classical conjunction with the valuation clauses for classical disjunction. However, this is avoided by considering algebraic fibring in the usual categories (Hilbert calculi or consequence relations) with translations between logics as morphisms: the logic obtained is the logic of lattices, which does not satisfy distributivity (see Beziau and Coniglio 2005, 2011).