Bisimulation Game

Draw two tiny transition systems and see if your chosen start nodes behave the same. If they do not, you get a short spoiler move that breaks the match.