\p
\v=23
\v~=The sons of Sanaas, three thousand three hundred and one. 
\¬v
\¬p