\v=17
\v~=\add \+w But|strong="H3808"\+w*\add* \w Israel|strong="H3478"\w* \w shall|strong="H3068"\w* \w be|strong="H3808"\w* \w saved|strong="H3467"\w* \w by|strong="H3068"\w* \w Jehovah|strong="H3068"\w* \w with|strong="H3068"\w* \w an|strong="H3068"\w* \w everlasting|strong="H5769"\w* \w salvation|strong="H8668"\w*: \w ye|strong="H3808"\w* \w shall|strong="H3068"\w* \w not|strong="H3808"\w* \w be|strong="H3808"\w* \w put|strong="H3068"\w* \w to|strong="H5704"\w* \w shame|strong="H3637"\w* \w nor|strong="H3808"\w* \w confounded|strong="H3637"\w* \w world|strong="H5769"\w* \w without|strong="H3808"\w* \w end|strong="H5703"\w*. 
\¬v
\¬p