Almost Lyapunov functions for nonlinear systems. (March 2020)