\q1 \v=23 \v~=A wise man will instruct his own people; \¬q1 \q1 \p~<