\p
\v=31
\v~=The men of Machemas, a hundred and twenty-two. 
\¬v
\¬p