Text this: Game semantics for first-order logic