Dit laat je toe om de basisinvariant op te geven. Dit is de invariant waarvoor je wil dat de vermoedensgenerator een vermoeden oppert.
Een vermoeden heeft de volgende vorm: