<?xml version='1.0' ?>
<math display="block" xmlns="http://www.w3.org/1998/Math/MathML">
  <mrow>
    <mo>∀</mo>
    <mi>A</mi>
    <mspace width="0.167em" />
    <mo>∃</mo>
    <mi>P</mi>
    <mspace width="0.167em" />
    <mo>∀</mo>
    <mi>B</mi>
    <mspace width="0.167em" />
    <mo stretchy="false" form="prefix">[</mo>
    <mi>B</mi>
    <mo>∈</mo>
    <mi>P</mi>
    <mo>⇔</mo>
    <mo>∀</mo>
    <mi>C</mi>
    <mspace width="0.167em" />
    <mo stretchy="false" form="prefix">(</mo>
    <mi>C</mi>
    <mo>∈</mo>
    <mi>B</mi>
    <mo>⇒</mo>
    <mi>C</mi>
    <mo>∈</mo>
    <mi>A</mi>
    <mo stretchy="false" form="postfix">)</mo>
    <mo stretchy="false" form="postfix">]</mo>
  </mrow>
</math>
