\q1
\v=7
\v~=The sacrifice of a righteous man is acceptable. 
\¬q1
\q2
\p~<<q2=It won’t be forgotten. 
\¬q2
\¬v