Induction proofs can operate at two distinct levels, one the potentially infinite pro- cess of proving a specific case and repeating a general step as often as is required, the second involving a three stage proof that compresses the potentially infinite repetition of steps to a single use of...