Cut-elimination for SBL - Toshiyasu Arai (2016)