\v=10
\v~=\w This|x-occurrence="1" x-occurrences="1"\w* \w is|x-occurrence="1" x-occurrences="1"\w* \w true|x-occurrence="1" x-occurrences="1"\w* \w because|x-occurrence="1" x-occurrences="1"\w* \w we|x-occurrence="1" x-occurrences="1"\w* \w can|x-occurrence="1" x-occurrences="1"\w* \w say|x-occurrence="1" x-occurrences="1"\w* \w that|x-occurrence="1" x-occurrences="1"\w* \w Levi|x-occurrence="1" x-occurrences="1"\w* \w and|x-occurrence="1" x-occurrences="1"\w* \w his|x-occurrence="1" x-occurrences="1"\w* \w descendants|x-occurrence="1" x-occurrences="1"\w* \w were|x-occurrence="1" x-occurrences="1"\w* \w still|x-occurrence="1" x-occurrences="1"\w* \w in|x-occurrence="1" x-occurrences="1"\w* \w Abraham|x-occurrence="1" x-occurrences="2"\w*’\w s|x-occurrence="1" x-occurrences="1"\w* \w body|x-occurrence="1" x-occurrences="1"\w* \w when|x-occurrence="1" x-occurrences="1"\w* \w Melchizedek|x-occurrence="1" x-occurrences="1"\w* \w met|x-occurrence="1" x-occurrences="1"\w* \w Abraham|x-occurrence="2" x-occurrences="2"\w*.
\¬v
\¬p