\v=4
\v~=God is known in her palaces, when he undertakes to help her. 
\¬v
\¬p