\v=16
\v~=Adoniah, Biguai, Adin, 
\¬v