Induction And Recurrences As Proof Scripts