\q1 \v=17 \v~=поразил царей великих, ибо вовек милость Его; \¬v \¬q1