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