Uti mitt * Sl v$ v \in