\q1
\v=7
\v~=Even if he does good, he does it in forgetfulness. 
\¬q1
\q2
\p~<<q2=In the end, he reveals his wickedness. 
\¬q2
\¬v