\q1 \v=16 \v~=In justificationibus tuis meditabor: non obliviscar sermones tuos. \¬v \¬q1