\frac{\Gamma\vdash A\qquad A, \Delta\vdash B}{\Gamma, \Delta\vdash B}