\v=17
\v~=And Hiui, and Arki, and Sini, 
\¬v