:

analytic induction ends where enumerative induction begins; and if well conducted, leaves no real and soluble problems for the latter