\q1 \v=3 \v~=An undisciplined king will destroy his people. \¬q1 \q2 \p~<