Liapunov functions.