\q1 \v=20 \v~=Even after he fell asleep, he prophesied, \¬q1 \q2 \p~<