\b
\q1
\v=9
\v~=A well-instructed man knows many things. 
\¬q1
\q2
\p~<<q2=He who has much experience will declare understanding. 
\¬q2
\¬v