: ter * T ’ * V;