Example exc-082

Prev: exc-081

Next: exc-083

p q

<math>
<apply><and/>
<ci>p</ci>
<ci>q</ci>
</apply>
</math>