Text this: Constructions of Strict Lyapunov Functions