Inference line
Redirect to:
Sequent calculus#Reduction trees