Example exc-085

Prev: exc-084

Next: exc-086

a

<math>
<apply>
<not/>
<ci> a </ci>
</apply>
</math>