\q1 \v=13 \v~=I have seen the people of Israel; \¬q1 \q2 \p~<