\v=31
\v~=And it was counted to him for righteousness, to all generations for ever. 
\¬v
\¬p