\q1 \v=8 \v~=Иные колесницами, иные конями, а мы именем Господа Бога нашего хвалимся: \¬v \¬q1