\q1 \v=17 \v~=et in nomine tuo exsultabunt tota die, et in justitia tua exaltabuntur. \¬v \¬q1