\p
\v=25
\v~=The children of Gabaon, ninety-five. 
\¬v
\¬p