\q1 \c#=10 \v=1 \v~=A wise judge will instruct his people; \¬q1 \q1 \p~<