\v=13
\v~=\w For|strong="H3588"\w* \w the|strong="H3605"\w* \w seller|strong="H4376"\w* \w shall|strong="H3808"\w* \w not|strong="H3808"\w* \w return|strong="H7725"\w* \w to|strong="H7725"\w* \w that|strong="H3588"\w* \w which|strong="H2416"\w* \w is|strong="H3605"\w* \w sold|strong="H4376"\w*, \w although|strong="H3588"\w* \w they|strong="H3588"\w* \w be|strong="H3808"\w* \w yet|strong="H5750"\w* \w alive|strong="H2416"\w*: \w for|strong="H3588"\w* \w the|strong="H3605"\w* \w vision|strong="H2377"\w* \w is|strong="H3605"\w* \w touching|strong="H5060"\w* \w the|strong="H3605"\w* \w whole|strong="H3605"\w* \w multitude|strong="H1995"\w* \w thereof|strong="H2416"\w*, \w none|strong="H3808"\w* \w shall|strong="H3808"\w* \w return|strong="H7725"\w*; \w neither|strong="H3808"\w* \w shall|strong="H3808"\w* \w any|strong="H3605"\w* \w strengthen|strong="H2388"\w* \w himself|strong="H2388"\w* \w in|strong="H7725"\w* \w the|strong="H3605"\w* \w iniquity|strong="H5771"\w* \w of|strong="H3605"\w* \w his|strong="H3605"\w* \w life|strong="H2416"\w*. 
\¬v
\¬p