Email Record: Infinitary logic and admissible sets.