\q1 \v=27 \v~=Viam justificationum tuarum instrue me, et exercebor in mirabilibus tuis. \¬v \¬q1