\v=16
\v~=Adonijah, Bigvai, Adin, 
\¬v