Enderton, por ejemplo, observó que "el "modus ponendo ponens" puede producir fórmulas más cortas de las más largas", y Russell señaló que "el proceso de la inferencia no puede reducirse a los símbolos.