\v=43
\v~=\w And|strong="H3967"\w* \w all|strong="H3605"\w* \w the|strong="H3605"\w* first-born \w males|strong="H2145"\w* \w according|strong="H5921"\w* \w to|strong="H1961"\w* \w the|strong="H3605"\w* \w number|strong="H4557"\w* \w of|strong="H1121"\w* \w names|strong="H8034"\w*, \w from|strong="H1121"\w* \w a|strong="H1961"\w* \w month|strong="H2320"\w* \w old|strong="H1121"\w* \w and|strong="H3967"\w* \w upward|strong="H4605"\w*, \w of|strong="H1121"\w* \w those|strong="H3605"\w* \w that|strong="H3605"\w* \w were|strong="H1961"\w* \w numbered|strong="H6485"\w* \w of|strong="H1121"\w* \w them|strong="H8147"\w*, \w were|strong="H1961"\w* \w twenty|strong="H6242"\w* \w and|strong="H3967"\w* \w two|strong="H8147"\w* \w thousand|strong="H0505"\w* \w two|strong="H8147"\w* \w hundred|strong="H3967"\w* \w and|strong="H3967"\w* \w threescore|strong="H7657"\w* \w and|strong="H3967"\w* \w thirteen|strong="H7969"\w*. 
\¬v
\¬p