Example exc-086

Prev: exc-085

Next: exc-087

A B

<math>
<apply>
<implies/>
<ci> A </ci>
<ci> B </ci>
</apply>
</math>