\v=24
\v~=The King of Tirzah, one. all the Kings were thirtie and one. 
\¬v
\¬p
\¬c