What does mathematical induction really look like?