\v=3
\v~=Henoch, Methusalah, Lamech,
\¬v