\q1 \v=6 \v~=(let \w me|strong="H3045"\w* be \w weighed|strong="H8254"\w* \w in|strong="H6664"\w* an even \w balance|strong="H3976"\w*, \¬q1 \q2 \p~<