\q1 \v=13 \v~=Chastise your son, and give him work, \¬q1 \q2 \p~<