s } U \ mv \ U \ \ \.