Afin de vérifier la première de ces contraintes, nous proposons à l'interprète le protocole suivant :
. Ceci se fait par un
appel à une fonction de choix, sollicitant ainsi l'interprète :
. Rappelons que la
cardinalité de t est supérieure ou égale à 2, ce sous-ensemble
n'est donc pas vide.
de ce sous-ensemble, on applique
l'opérateur d'activation du spécème 
, 
.