Text this: Finite model theory