\v=38
\v~=dessen Sohn Zadok, dessen Sohn Achimaaz.
\¬v
\¬p