Ces règles sont symétriques aux règles de génération. La seule différence est que la partie droite est la négation d'un coup. Cette négation signifie que le coup ne peut pas être joué.