@mathowl: A positive Lyapunov