t \ VV \ vcvtv \ u \ ^a