\v=31
\v~=Twenty thousand five hundred were slain, beside six hundred cavalry. 
\¬v
\¬p