\v=30
\v~=\w Certainly|x-occurrence="1" x-occurrences="1"\w*, \w the|x-occurrence="1" x-occurrences="1"\w* \w ones|x-occurrence="1" x-occurrences="3"\w* \w who|x-occurrence="1" x-occurrences="3"\w* \w God|x-occurrence="1" x-occurrences="4"\w* \w chose|x-occurrence="1" x-occurrences="1"\w* \w in|x-occurrence="1" x-occurrences="1"\w* \w advance|x-occurrence="1" x-occurrences="1"\w* {\w to|x-occurrence="1" x-occurrences="3"\w* \w become|x-occurrence="1" x-occurrences="3"\w* \w his|x-occurrence="1" x-occurrences="3"\w* \w people|x-occurrence="1" x-occurrences="5"\w*}, \w God|x-occurrence="2" x-occurrences="4"\w* \w also|x-occurrence="1" x-occurrences="3"\w* \w summoned|x-occurrence="1" x-occurrences="2"\w* \w to|x-occurrence="2" x-occurrences="3"\w* \w become|x-occurrence="2" x-occurrences="3"\w* \w his|x-occurrence="2" x-occurrences="3"\w* \w people|x-occurrence="2" x-occurrences="5"\w*. \w The|x-occurrence="1" x-occurrences="2"\w* \w ones|x-occurrence="2" x-occurrences="3"\w* \w who|x-occurrence="2" x-occurrences="3"\w* \w God|x-occurrence="3" x-occurrences="4"\w* \w summoned|x-occurrence="2" x-occurrences="2"\w* {\w to|x-occurrence="3" x-occurrences="3"\w* \w become|x-occurrence="3" x-occurrences="3"\w* \w his|x-occurrence="3" x-occurrences="3"\w* \w people|x-occurrence="3" x-occurrences="5"\w*}, \w he|x-occurrence="1" x-occurrences="2"\w* \w also|x-occurrence="2" x-occurrences="3"\w* \w made|x-occurrence="1" x-occurrences="2"\w* \w these|x-occurrence="1" x-occurrences="2"\w* \w people|x-occurrence="4" x-occurrences="5"\w* \w right|x-occurrence="1" x-occurrences="2"\w* \w with|x-occurrence="1" x-occurrences="2"\w* \w himself|x-occurrence="1" x-occurrences="2"\w*. \w The|x-occurrence="2" x-occurrences="2"\w* \w ones|x-occurrence="3" x-occurrences="3"\w* \w who|x-occurrence="3" x-occurrences="3"\w* \w God|x-occurrence="4" x-occurrences="4"\w* \w made|x-occurrence="2" x-occurrences="2"\w* \w right|x-occurrence="2" x-occurrences="2"\w* \w with|x-occurrence="2" x-occurrences="2"\w* \w himself|x-occurrence="2" x-occurrences="2"\w*, \w he|x-occurrence="2" x-occurrences="2"\w* \w also|x-occurrence="3" x-occurrences="3"\w* \w glorified|x-occurrence="1" x-occurrences="1"\w* \w these|x-occurrence="2" x-occurrences="2"\w* \w people|x-occurrence="5" x-occurrences="5"\w*. 
\¬v
\¬p