Navigation/AUV/SMO: no need to define vx/vt.