\v=25
\v~=\w But|x-occurrence="1" x-occurrences="1"\w* \w if|x-occurrence="1" x-occurrences="1"\w* \w we|x-occurrence="1" x-occurrences="3"\w* \w hope|x-occurrence="1" x-occurrences="1"\w* \w for|x-occurrence="1" x-occurrences="1"\w* \w what|x-occurrence="1" x-occurrences="1"\w* \w we|x-occurrence="2" x-occurrences="3"\w* \w do|x-occurrence="1" x-occurrences="1"\w* \w not|x-occurrence="1" x-occurrences="1"\w* \w see|x-occurrence="1" x-occurrences="1"\w*, \w with|x-occurrence="1" x-occurrences="1"\w* \w endurance|x-occurrence="1" x-occurrences="1"\w* \w we|x-occurrence="3" x-occurrences="3"\w* \w are|x-occurrence="1" x-occurrences="1"\w* \w eagerly|x-occurrence="1" x-occurrences="1"\w* \w expecting|x-occurrence="1" x-occurrences="1"\w* {\w it|x-occurrence="1" x-occurrences="1"\w*}.
\¬v
\¬p