\q1
\v=7
\v~=All these were honored in their generations, 
\¬q1
\q2
\p~<<q2=and were outstanding in their days. 
\¬q2
\¬v