\v=4
\v~=Abishua, Naamani, Ahoa, 
\¬v