Unit content Recursion and induction close Recursion and induction Connect recursive definitions with inductive proofs and program execution.