\v=17
\v~=Adonija, Bigwai, Adin,
\¬v