\v=23
\v~=Judas continued the pursuit more vigorously, putting the wicked wretches to the sword, and he destroyed as many as thirty thousand men. 
\¬v
\¬p