Title: Gentzenizing Schroeder - Heister's natural extension of natural deduction