\p
\v=6
\v~=\w No|strong="H3808"\w* \w man|strong="H5315"\w* \w shall|strong="H5315"\w* \w take|strong="H2254"\w* \w the|strong="H3588"\w* \w mill|strong="H7347"\w* \w or|strong="H3808"\w* \w the|strong="H3588"\w* \w upper|strong="H7393"\w* \w millstone|strong="H7393"\w* \w to|strong="H5315"\w* \w pledge|strong="H2254"\w*; \w for|strong="H3588"\w* \w he|strong="H1931"\w* \w taketh|strong="H2254"\w* \add \+w a|strong="H3588"\+w* \+w man’s|strong="H5315"\+w*\add* \w life|strong="H5315"\w* \w to|strong="H5315"\w* \w pledge|strong="H2254"\w*. 
\¬v
\¬p