\q1 \v=5 \v~=And let them know thee, as we also have known thee, \¬q1 \q1 \p~<