att S ?V \ x (v.