working on lyapunov