\q1 \v=8 \v~=An unbroken horse becomes stubborn. \¬q1 \q2 \p~<