Natural Deduction: the force of premises and conclusions (Pagin)