Context
Backlinks
Sequent Calculus
Structural Rule
Single Substitution