\p
\v=25
\v~=\w This|x-occurrence="1" x-occurrences="1"\w* \w is|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="1"\w* \w message|x-occurrence="1" x-occurrences="1"\w* \w that|x-occurrence="1" x-occurrences="1"\w* \w it|x-occurrence="1" x-occurrences="1"\w* \w wrote|x-occurrence="1" x-occurrences="1"\w*: ‘ \w Mene|x-occurrence="1" x-occurrences="1"\w*, \w mene|x-occurrence="1" x-occurrences="1"\w*, \w tekel|x-occurrence="1" x-occurrences="1"\w*, \w parsin|x-occurrence="1" x-occurrences="1"\w*.’
\¬v
\¬p