\v=8
\v~=And he shall redeeme Israel from all his iniquities. 
\¬v
\¬p
\¬c