\v=16
\v~=Elishama, Eliada, and Eliphelet.
\¬v
\¬p