\q1
\v=4
\v~=Didn’t the sun go back by his hand? 
\¬q1
\q2
\p~<<q2=Didn’t one day become as two? 
\¬q2
\¬v