\q1 \v=84 \v~=Quot sunt dies servi tui? quando facies de persequentibus me judicium? \¬v \¬q1