\q1
\v=3
\v~=He who honors his father will make atonement for sins. 
\¬v
\¬q1