\p
\v=17
\v~=The sons of Beterus, three thousand and five: the sons of Bethlomon, an hundred twenty and three: 
\¬v
\¬p