\q1 \v=10 \v~=The way of sinners is paved with stones; \¬q1 \q2 \p~<