Text this: Finite-Time Lyapunov Functions and Impulsive Control Design