Same as Domino effect visualizing exclusion of junk term by induction axiom.jpg (povray source code see there), but with dark wood pieces (symbolizing junk terms) omitted. Peano's induction axiom hold for this configuration.