Suggestion, add section in the book that shows how the method "nonholonomic generalized active forces when holonomic generalized active forces are known and nonholonomic constraints are introduced"(https://moorepants.github.io/learn-multibody-dynamics/generalized-forces.html#equation-eq-non-hol-fr) actually works.