Example exc-243

Prev: exc-242

Next: exc-244


<math>
<apply><eq/>
  <apply><not/><true/></apply>
  <false/>
</apply>
</math>