A Rational Reconstruction of Boyer and Moore's Technique for Constructing Induction Formulas