Met deze knop start je de vermoedensgenerator. Deze zal pas werken wanneer er een invariant is geselecteerd in de basisinvariantkiezer .