\v=11
\v~=Then all the Gentiles will know that there is one who redeems and saves Israel. 
\¬v
\¬p