\p
\v=11
\v~=The children of Babai, six hundred and twenty-three. 
\¬v
\¬p