Text this: Stabilization of Uncertain Systems using Backstepping and Lyapunov Redesign