Redirecting to Intrinsic termination