Proof trees in the style of the sequent calculus
