 Tangency at a Lyapunov boundary

A boundary point with $\dot{V}=0$ can still enter the sublevel set; LaSalle analysis decides whether it belongs to an invariant zero-derivative trajectory.