\q1 \v=2 \v~=С Сиона, который есть верх красоты, является Бог, \¬v \¬q1