Z * t \ tm.Vnn<