  If we opted to use sequent rules, we would have to decide whether or not to allow “substructure” (see the entry on  substructural logics)  and whether to allow multiple conclusions in the sequents. We would also have to endorse a particular set of purely structural rules (rules not involving any expression of the language essentially).