\p
\v=15
\v~=Numenius and his company came from Rome, having letters to the kings and to the countries, in which were written these things: 
\¬v
\¬p