Text this: Infinitary logic: in memoriam Carol Karp /