A structural rule in logic, particularly proof theory, governs the manipulation of sequent components. It operates without regard to the…