\p
\v=29
\v~=\w You|x-occurrence="1" x-occurrences="1"\w* \w must|x-occurrence="1" x-occurrences="1"\w* \w always|x-occurrence="1" x-occurrences="1"\w* \w obey|x-occurrence="1" x-occurrences="1"\w* \w these|x-occurrence="1" x-occurrences="1"\w* \w legal|x-occurrence="1" x-occurrences="1"\w* \w proceedings|x-occurrence="1" x-occurrences="1"\w*, \w wherever|x-occurrence="1" x-occurrences="1"\w* \w you|x-occurrence="1" x-occurrences="1"\w* \w live|x-occurrence="1" x-occurrences="1"\w*.
\¬v
\¬p