\v=3
\v~=Blessed are they that keep judgment, and do righteousness at all times. 
\¬v
\¬p