A Variational Principle for Nonholonomic Systems | Synapse