s * t 2 Usv.