\v=20
\v~=(And the man called his wiues name Heuah, because she was the mother of all liuing) 
\¬v