\v=17
\v~=\w But|x-occurrence="1" x-occurrences="1"\w* \w Jesus|x-occurrence="1" x-occurrences="1"\w* \w had|x-occurrence="1" x-occurrences="1"\w* \w chosen|x-occurrence="1" x-occurrences="1"\w* \w Judas|x-occurrence="1" x-occurrences="1"\w*, \w along|x-occurrence="1" x-occurrences="1"\w* \w with|x-occurrence="1" x-occurrences="1"\w* \w the|x-occurrence="1" x-occurrences="1"\w* \w rest|x-occurrence="1" x-occurrences="1"\w* \w of|x-occurrence="1" x-occurrences="1"\w* \w us|x-occurrence="1" x-occurrences="1"\w*, \w to|x-occurrence="1" x-occurrences="3"\w* \w serve|x-occurrence="1" x-occurrences="1"\w* \w as|x-occurrence="1" x-occurrences="1"\w* \w an|x-occurrence="1" x-occurrences="1"\w* \w apostle|x-occurrence="1" x-occurrences="1"\w*. {\w So|x-occurrence="1" x-occurrences="1"\w* \w we|x-occurrence="1" x-occurrences="1"\w* \w need|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="2" x-occurrences="3"\w* \w find|x-occurrence="1" x-occurrences="1"\w* \w someone|x-occurrence="1" x-occurrences="1"\w* \w else|x-occurrence="1" x-occurrences="1"\w* \w to|x-occurrence="3" x-occurrences="3"\w* \w take|x-occurrence="1" x-occurrences="1"\w* \w his|x-occurrence="1" x-occurrences="1"\w* \w place|x-occurrence="1" x-occurrences="1"\w*.}”
\¬v
\¬p