\q1 \v=29 \v~=Set him to work, as is fit for him. \¬q1 \q2 \p~<