Text this: Finite Model Theory