First-Order Natural Deduction in Sequent Formulation

Just as for the normal Natural Deduction we have a sequent formulation $\mathcal{ND}^1_{\vdash}$ which extends the Sequent Calculus Formulation $\mathcal{ND}^0_{\vdash}$ with the following quantifier rules: