\v=13
\v~=\w When|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="6"\w* \w priests|x-occurrence="1" x-occurrences="1"\w* \w who|x-occurrence="1" x-occurrences="1"\w* \w are|x-occurrence="1" x-occurrences="1"\w* \w carrying|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="2" x-occurrences="6"\w* \w chest|x-occurrence="1" x-occurrences="1"\w* \w set|x-occurrence="1" x-occurrences="1"\w* \w their|x-occurrence="1" x-occurrences="1"\w* \w feet|x-occurrence="1" x-occurrences="1"\w* \w in|x-occurrence="1" x-occurrences="2"\w* \w the|x-occurrence="3" x-occurrences="6"\w* \w waters|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="4" x-occurrences="6"\w* \w Jordan|x-occurrence="1" x-occurrences="1"\w* \w River|x-occurrence="1" x-occurrences="1"\w*, \w the|x-occurrence="5" x-occurrences="6"\w* \w water|x-occurrence="1" x-occurrences="2"\w* \w will|x-occurrence="1" x-occurrences="3"\w* \w stop|x-occurrence="1" x-occurrences="2"\w* \w flowing|x-occurrence="1" x-occurrences="1"\w*. \w The|x-occurrence="1" x-occurrences="1"\w* \w water|x-occurrence="2" x-occurrences="2"\w* \w coming|x-occurrence="1" x-occurrences="1"\w* \w from|x-occurrence="1" x-occurrences="1"\w* \w upstream|x-occurrence="1" x-occurrences="1"\w* \w will|x-occurrence="2" x-occurrences="3"\w* \w stop|x-occurrence="2" x-occurrences="2"\w* \w and|x-occurrence="1" x-occurrences="1"\w* \w stay|x-occurrence="1" x-occurrences="1"\w* \w in|x-occurrence="2" x-occurrences="2"\w* \w one|x-occurrence="1" x-occurrences="1"\w* \w heap|x-occurrence="1" x-occurrences="1"\w*. \w It|x-occurrence="1" x-occurrences="1"\w* \w will|x-occurrence="3" x-occurrences="3"\w* \w not|x-occurrence="1" x-occurrences="1"\w* \w flow|x-occurrence="1" x-occurrences="1"\w* \w down|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="6" x-occurrences="6"\w* \w river|x-occurrence="1" x-occurrences="1"\w*.”
\¬v
\¬p