\q1 \v=4 \v~=\w Let|strong="H7971"\w* \w us|strong="H3045"\w* \w choose|strong="H0977"\w* \w for|strong="H4941"\w* \w us|strong="H3045"\w* \w that|strong="H3045"\w* \w which|strong="H4100"\w* \w is|strong="H4100"\w* \w right|strong="H4941"\w*: \¬q1 \q1 \p~<