\q1
\v=23
\v~=Prove me, O God, and know my heart; examine me, and know my paths; 
\¬v
\¬q1