Finding formulas for arithmetic sequences.