Lyapunov_theory loading ...