\v=18
\v~=And for many days Joshua waged war with these kings. 
\¬v