Structural Proof Theory door