Text this: Local Hypoellipticity by Lyapunov Function