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