\v=3 \v~=What advantage \add is there\add* to a man in all his labour that he takes under the sun? \¬v