Redirecting to Lyapunov function