Labelled deduction | lit.salon