\q1 \v=2 \v~=Corrupti sunt, et abominabiles facti sunt in iniquitatibus; non est qui faciat bonum. \¬v \¬q1