\q1
\v=5
\v~=Their branches will be broken off before they come to maturity. 
\¬q1
\q2
\p~<<q2=Their fruit will be useless, 
\¬q2
\q2
\p~<<q2=never ripe to eat, and fit for nothing. 
\¬q2
\¬v