File:Domino_effect_visualizing_exclusion_of_junk_term_by_induction_axiom.jpg loading ...