============
Proof-theory
============

To be done.