If an inductive step is required, it is best to make that crucial inductive step explicit in the for...