\q1 \v=2 \v~=If they multiply, don’t delight in them \¬q1 \q2 \p~<