\v=8
\v~=The Lord of hosts is with us; the God of Jacob is our helper. Pause. 
\¬v
\¬p