\v=21
\v~=von Hilkija: Haschabja; von Jedaja: Nethaneel.
\¬v
\¬p