\q1
\v=3
\v~=He who teaches his son will provoke his enemy to jealousy. 
\¬q1
\q2
\p~<<q2=Before friends, he will rejoice in him. 
\¬q2
\¬v