\v=13
\v~=\w But|strong="H0518"\w* \w if|strong="H0518"\w* \w he|strong="H0518"\w* \w will|strong="H0518"\w* \w indeed|strong="H0518"\w* \w redeem|strong="H1350"\w* \w it|strong="H0518"\w*, \w then|strong="H3254"\w* \w he|strong="H0518"\w* \w shall|strong="H1350"\w* \w add|strong="H3254"\w* \w the|strong="H5921"\w* \w fifth|strong="H2549"\w* \w part|strong="H5921"\w* \w of|strong="H5921"\w* \w it|strong="H0518"\w* \w to|strong="H5921"\w* \w its|strong="H5921"\w* \w valuation|strong="H6187"\w*. 
\¬v
\¬p