\v=4
\v~=But let the righteous rejoice; let them exult before God: let them be delighted with joy. 
\¬v
\¬p