(= (Reference-Point Actuator-Base) (Reference-Point Planar-Mace)) (= (Reference-Frame Actuator-Base) (Reference-Frame Planar-Mace))
(<- (Wheel-Torque ?X) (Dot (Basis.Vec (Reference-Frame Actuator-Base) 1) (Applied-Torque Actuator-Base Torque-Wheel))) (= (Reference-Point Torque-Wheel) (Reference-Point Actuator-Base)) (= (Orientation (Reference-Frame Torque-Wheel) (Reference-Frame Actuator-Base)) (Simple-Rotation 3 Wheel-Angle))