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