Sofc * v \ ttaU \v.