Sasaki, K. A Sequent System Without Improper Derivations. B Sect Log 2021, 51, 91-108.