Playing with Dominos: Proof by Induction