\q1 \v=2 \v~=Forgive your neighbor the hurt that he has done, \¬q1 \q2 \p~<