\v=20
\v~=\w You|strong="H0518"\w* \w shall|strong="H1121"\w* \w redeem|strong="H6299"\w* \w the|strong="H3605"\w* \w firstborn|strong="H1060"\w* \w of|strong="H1121"\w* \w a|strong="H7200"\w* \w donkey|strong="H2543"\w* \w with|strong="H3605"\w* \w a|strong="H7200"\w* \w lamb|strong="H7716"\w*. \w If|strong="H0518"\w* \w you|strong="H0518"\w* \w will|strong="H1121"\w* \w not|strong="H3808"\w* \w redeem|strong="H6299"\w* \w it|strong="H0518"\w*, \w then|strong="H7200"\w* \w you|strong="H0518"\w* \w shall|strong="H1121"\w* \w break|strong="H6202"\w* \w its|strong="H3605"\w* \w neck|strong="H6202"\w*. \w You|strong="H0518"\w* \w shall|strong="H1121"\w* \w redeem|strong="H6299"\w* \w all|strong="H3605"\w* \w the|strong="H3605"\w* \w firstborn|strong="H1060"\w* \w of|strong="H1121"\w* \w your|strong="H3605"\w* \w sons|strong="H1121"\w*. \w No|strong="H3808"\w* \w one|strong="H3605"\w* \w shall|strong="H1121"\w* \w appear|strong="H7200"\w* \w before|strong="H6440"\w* \w me|strong="H6440"\w* \w empty|strong="H7387"\w*. 
\¬v
\¬p