(=> (Gimbal-2-Torque ?X ?Q) (= ?Q (Dot (Basis.Vec (Reference-Frame Gimbal-2-Base) 1) (Applied-Torque Gimbal-2-Base Gimbal-2-Platform))))