Key points are not available for this paper at this time.
Recently Ekman gave a derivation in natural deduction such that it either contains a substantial redundant part or else is not normal. It is shown that this problem is caused by a non-normality inherent in the usual modus ponens rule.
Jan von Plato (2000) studied this question.