\v=13
\v~=Achaz his son, Ezekias his son, Manasses his son, 
\¬v