\v=27
\v~=dessen Sohn Nun, dessen Sohn Josua.
\¬v
\¬p