Remarque : si de plus ⊥ {\displaystyle \bot } est régulière et unifère, alors son élément neutre est nécessairement absorbant pour la loi ∗ {\displaystyle *}.
De plus les créateurs du jeu avait oublie d'y ajouter des bots, c'est-à-dire des personnages dirigé par le jeu afin d'accroitre le nombre d'adversaire.
À chaque nouvelle partie, une nouvelle map (zone de jeu) était générée automatiquement (de manière procédurale), permettant de compliquer la tâche aux bots.
