Example exc-062

Prev: exc-061

Next: exc-063

a a a

<math>
<apply><forall/>
  <bvar><ci>a</ci></bvar>
  <apply><eq/>
    <apply><plus/><ci>a</ci></apply>
    <cn>a</cn>
  </apply>
</apply>
</math>