Induction via Recursion