UtV \ utoc & b *a-