A game for learning about model theory and First-Order Logic by designing formulas that select different subsets of the nodes on a graph.