Email Record: Constructions of strict lyapunov functions /