\v=3
\v~=Enoch, Mathusala, Lamech, 
\¬v