\q1 \v=10 \v~=Look at the generations of old, and see: \¬q1 \q2 \p~<