\q1 \v=3 \v~=она взывает у ворот при входе в город, при входе в двери: \¬v \¬q1