\q1 \v=7 \v~=Пойте Богу нашему, пойте; пойте Царю нашему, пойте, \¬v \¬q1