Redirecting to Infinitary logic