\q1 \v=3 \v~=\w to|strong="H4480"\w* snap \w their|strong="H7993"\w* \w bonds|strong="H4147"\w* \¬q1 \q2 \p~<