Ehrenfeucht Fraïssé Games on Linear Orderings

The Ehrenfeucht Fraïssé Game on Finite Linear Orderings: A game about First-Order Logic and the inevitable end of all things. The Ehrenfeuchts (dots above the river) and Fraïssés (dots below the river) are separated by a river! Together, two players will work to connect the Ehrenfeuchts and Fraïssés by bridges. This is an asymmetric game for two players with very distinct roles: Player 1 is called Selector. On their turn, Selector selects either an Ehrenfeucht or a Fraïssé (dot above or below the river) that hasnt been connected by a bridge yet. Player 2 is called Bridger. On their turn, Bridg...