Example exc-240
Prev:
exc-239
Next:
exc-241
false
<math> <apply><eq/> <apply><not/><true/></apply> <cn>false</cn> </apply> </math>