\v=5
\v~=For all these things \add are to be done\add* because of the commandment. 
\¬v