\q1
\v=15
\v~=The sun and the moon are darkened, 
\¬q1
\q2
\p~<<q2=and the stars withdraw their shining. 
\¬q2
\¬v