Nonlinear Controllability via Lie Theory | Synapse