\q1 \v=25 \v~=Therefore at that time also, converting itself into all forms, \¬q1 \q1 \p~<