\b \q1 \v=25 \v~=A wise saying is in the treasures of wisdom; \¬q1 \q2 \p~<