Redirecting to Sequent calculus