System of Proof Theory - Cut plus left and right elimination rules. Central theorem is Gentzen-Style Cut Elimination