\v=16
\v~=\add should it happen\add* that the name of Jonathan be discovered by the house of David, then let the Lord seek out the enemies of David. 
\¬v