\q1
\v=6
\v~=He left behind him an avenger against his enemies, 
\¬q1
\q2
\p~<<q2=and one to repay kindness to his friends. 
\¬q2
\¬v