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.