Besitzt das Verb eine Vorsilbe (Präfix), entfällt bei Betonung des Wortstamms das Präfix {ge-} und bei Betonung der Vorsilbe wird das Infix {-ge-} genutzt.
Die Mutter der nichtdeterministischen Operationen ist der vordefinierte Infix-Operator, der Auswahl-Operator, der nichtdeterministisch einen seiner Operanden zurückliefert.