\v=3
\v~=Enoki, Methusela, Lameki, Noa.
\¬v
\¬p