\v=4
\v~=O Israel, we are happy; for the things that are pleasing to God are made known to us. 
\¬v
\¬p