Text this: Beyond first order model theory.