er, that's not sequent calculus