X : S * V \ -.