\q1 \c#=20 \v=1 \v~=There is a reproof that is not timely; \¬q1 \q2 \p~<