\q1 \v=30 \v~=But on both counts, the just doom will pursue them, \¬q1 \q2 \p~<