\q1
\v=23
\v~=Afterwards he will rise up and repay them, 
\¬q1
\q2
\p~<<q2=and render their repayment upon their head. 
\¬q2
\¬v