Text this: Construction of Lyapunov functions.