Labelled deduction in the composition of form and meaning by M. Moortgat