lyapunov +++