\v=8
\v~=He will redeem Israel From all his iniquities. 
\¬v
\¬p
\¬c