\q1
\v=7
\v~=Foolish men will not obtain her. 
\¬q1
\q2
\p~<<q2=Sinners will not see her. 
\¬q2
\¬v