\v=23
\v~=\w and|strong="H1121"\w* \w Ophir|strong="H0211"\w*, \w and|strong="H1121"\w* \w Havilah|strong="H2341"\w*, \w and|strong="H1121"\w* \w Jobab|strong="H3103"\w*. \w All|strong="H3605"\w* \w these|strong="H3605"\w* \w were|strong="H1121"\w* \w the|strong="H3605"\w* \w sons|strong="H1121"\w* \w of|strong="H1121"\w* \w Joktan|strong="H3355"\w*. 
\¬v
\¬p