\q1 \v=3 \v~=If she does not stop, \¬q1 \q1 \p~<