Text this: Infinitary logic and admissible sets.