\q1 \v=28 \v~=The arrow can’t make him flee. \¬q1 \q2 \p~<