\q1 \v=2 \v~=Stantes erant pedes nostri in atriis tuis, Jerusalem. \¬v \¬q1