\q1 \v=23 \v~=Hast thou children? correct them, \¬q1 \q1 \p~<