The top two answers are each interesting in their own way.  The second answer, about the alternating colors, shows an elegant proof by induction.<p>The first (And accepted) answer, shows how important it is to account for edge cases!  It also shows why legal contracts can be very long.