\q1 \v=2 \v~=Now they sin more and more; \¬q1 \q2 \p~<