\q1 \v=17 \v~=Любящих меня я люблю, и ищущие меня найдут меня; \¬v \¬q1