SV \ to^oktu: