Tunja Sequences as Examples of Employing Students' Powers to Generalize