\v=12
\v~=Who casteth down the pride of princes, Who is terrible to the kings of the earth! 
\¬v
\¬p
\¬c