Constraint Theory of Frame-Bound Mechanical Systems | Synapse