Incorrect. The game is played by one player creating a finite state machine description. That player wins if they convince 4 people to follow it. The other play

Incorrect. The game is played by one player creating a finite state machine description. That player wins if they convince 4 people to follow it. The other players win if they realize they aren't playing a game.