Conjecturing and Convincing
Conjecturing: is the articulation of the generalisation.
Convincing is the testing of conjectures. This may lead to the need for modification of the generalisation or even a return to specialising thus beginning the process again at a new level.