\q1
\v=13
\v~=A good life has its number of days, 
\¬q1
\q2
\p~<<q2=but a good name continues forever. 
\¬q2
\¬v