Labelled Natural Deduction
(Abstract soon to be announced)