Finite Worlds: the EF game

Play the Ehrenfeucht-Fraisse game on two random finite graphs. Click nodes, watch the pairing, and see when a match breaks.