\p \v=2 \v~=And he had five sons, Joannan, called Caddis: \¬v \¬p