Title: Verification, Induction, Termination Analysis