Text this: Book review: Descriptive complexity, by Neil Immerman