\q1 \v=11 \v~=Кто введет меня в укрепленный город? Кто доведет меня до Едома? \¬v \¬q1