Text this: Model theory for infinitary logic :