\v=38
\v~=who was the son of Enos, who was the son of Seth, who was the son of Adam, who was the son of God. 
\¬v
\¬p
\¬c