\v=32
\v~=\add And there was a war between Asa and Baasa king of Israel in all their days. \add* 
\¬v