Proof-theoryΒΆ

To be done.