$A, \neg A \vdash B$