(= (Reference-Point Torque-Wheel) (Reference-Point Actuator-Base)) (= (Orientation (Reference-Frame Torque-Wheel) (Reference-Frame Actuator-Base)) (Simple-Rotation 3 Wheel-Angle))