In order for the above form to be nonholonomic, it is also required that the left hand side neither be a total differential nor be able to be converted into one, perhaps via an integrating factor [REF].
It is not necessary for all non-holonomic constraints to take this form, in fact it may involve higher derivatives or inequalities [REF].