\q1 \v=9 \v~=A man who is a sinner will trouble friends \¬q1 \q2 \p~<