Redirecting to Isotopy of loops