Lyapunov_function loading ...