\v=13
\v~=\w But|strong="H1350"\w* \w if|strong="H0518"\w* \w he|strong="H5921"\w* \w will|strong="H1350"\w* \w indeed|strong="H3588"\w* \w redeem|strong="H1350"\w* \w it|strong="H5921"\w*, \w then|strong="H3254"\w* \w he|strong="H5921"\w* \w shall|strong="H1350"\w* \w add|strong="H3254"\w* \w the|strong="H5921"\w* \w fifth|strong="H2549"\w* \w part|strong="H2549"\w* \w thereof|strong="H0753"\w* \w unto|strong="H3254"\w* \w thy|strong="H5921"\w* \w estimation|strong="H6187"\w*. 
\¬v
\¬p