\q1
\v=37
\v~=And they sacrificed their sons and their daughters to devils, 
\¬v
\¬q1