Tourlakis, G. A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs. B Sect Log 2016, 45, 17–31.