Email Record: Model theory for infinitary logic :