\v=7
\v~=Elishama, Beeliada na Elifeleti. 
\¬v
\¬p