\q1 \v=9 \v~=Deliver him who is wronged from the hand of him who wrongs him; \¬q1 \q2 \p~<