\q1 \v=12 \v~=He that is not clever will not be instructed; \¬q1 \q1 \p~<