\v=17 \v~=\w For|x-occurrence="1" x-occurrences="1"\w* \w it|x-occurrence="1" x-occurrences="1"\w* \w is|x-occurrence="1" x-occurrences="1"\w* \w being|x-occurrence="1" x-occurrences="1"\w* \w testified|x-occurrence="1" x-occurrences="1"\w*: \¬p \q1 \p~<