\v=15 \v~=\add It is\add* the joy of the righteous to do judgement: but a holy \add man\add* is abominable with evil-doers. \¬v