\v=16
\v~=The King of Makkedah, one: the King of Beth-el, one: 
\¬v