\v=5 \v~=\w Therefore|x-occurrence="1" x-occurrences="1"\w*, \w entering|x-occurrence="1" x-occurrences="1"\w* \w into|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="1"\w* \w world|x-occurrence="1" x-occurrences="1"\w*, \w he|x-occurrence="1" x-occurrences="1"\w* \w says|x-occurrence="1" x-occurrences="1"\w*, \¬p \q1 \p~<