vt o = \ \ wt c x x att« \ \ «v.