Description: Explains the process of making and proving conjectures about the behavior of equations that a repetitive trait, such as summation formulas. Includes the rules for a valid induction and some examples.