\b \q1 \v=25 \v~=One who casts a stone straight up casts it on his own head. \¬q1 \q2 \p~<