Redirecting to Morley's categoricity theorem