\q1
\v=17
\v~=Then the Lord thundered from heaven. 
\¬q1
\q2
\p~<<q2=He made his voice heard with a mighty sound. 
\¬q2
\¬v