Early infinitary logic