\q1 \v=32 \v~=He makes a path shine after him. \¬q1 \q2 \p~<