\v=17
\v~=\w Then|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="2"\w* \w king|x-occurrence="1" x-occurrences="2"\w* \w of|x-occurrence="1" x-occurrences="2"\w* \w Babylon|x-occurrence="1" x-occurrences="1"\w* \w appointed|x-occurrence="1" x-occurrences="1"\w* \w Jehoiachin|x-occurrence="1" x-occurrences="1"\w*’\w s|x-occurrence="1" x-occurrences="2"\w* \w uncle|x-occurrence="1" x-occurrences="1"\w*, \w Mattaniah|x-occurrence="1" x-occurrences="2"\w*, \w to|x-occurrence="1" x-occurrences="2"\w* \w be|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="2" x-occurrences="2"\w* \w king|x-occurrence="2" x-occurrences="2"\w* \w of|x-occurrence="2" x-occurrences="2"\w* \w Judah|x-occurrence="1" x-occurrences="1"\w*, \w and|x-occurrence="1" x-occurrences="1"\w* \w he|x-occurrence="1" x-occurrences="1"\w* \w changed|x-occurrence="1" x-occurrences="1"\w* \w Mattaniah|x-occurrence="2" x-occurrences="2"\w*’\w s|x-occurrence="2" x-occurrences="2"\w* \w name|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="2" x-occurrences="2"\w* \w Zedekiah|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p