 For example, while there may be advantages to using the deduction theorem as a primitive rule of inference, there is also reason to avoid doing so, i.e., to obviate the need for supplementary proof (1956a: §29 and fn. 181).