Resolved #10.

The Q_IN case is not simplified because it is too complicated to treat
its case compared to the probability that someone will use it.
\(*0*)/