\v=54
\v~=Duke Magdiel, duke Iram: these were the dukes of Edom. 
\¬v
\¬p
\¬c