\v=20
\v~=He will not give much thought to the days of his life; because God lets him be taken up with the joy of his heart. 
\¬v
\¬p
\¬c