\p
\v=17
\v~=And the streets of Jerusalem shall be paved with beryl and carbuncle and stones of Ophir. 
\¬v
\¬p