\p
\v=20
\v~=They of Chadias and Ammidoi, four hundred twenty and two: they of Cirama and Gabbes, six hundred twenty and one: 
\¬v
\¬p