\q1
\v=23
\v~=All these things live and remain forever in all manner of uses. 
\¬q1
\q2
\p~<<q2=They are all obedient. 
\¬q2
\¬v