\q1 \v=5 \v~=ignorantly as it were in the entrance above; \¬v \¬q1