<p>From ordered partition representation of <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle \exists x~\forall w~\forall z~\exists y~Pwxyz}"><semantics><mrow class="MJX-TeXAtom-ORD"><mstyle displaystyle="true" scriptlevel="0"><mi mathvariant="normal">∃<!-- ∃ --></mi><mi>x</mi><mtext> </mtext><mi mathvariant="normal">∀<!-- ∀ --></mi><mi>w</mi><mtext> </mtext><mi mathvariant="normal">∀<!-- ∀ --></mi><mi>z</mi><mtext> </mtext><mi mathvariant="normal">∃<!-- ∃ --></mi><mi>y</mi><mtext> </mtext><mi>P</mi><mi>w</mi><mi>x</mi><mi>y</mi><mi>z</mi></mstyle></mrow><annotation encoding="application/x-tex">{\displaystyle \exists x~\forall w~\forall z~\exists y~Pwxyz}</annotation></semantics></math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/3ccc493a50c6835eab906833eacaf41e60ca466a" class="mwe-math-fallback-image-inline" aria-hidden="true" style="vertical-align: -0.671ex; width:19.713ex; height:2.509ex;" alt="{\displaystyle \exists x~\forall w~\forall z~\exists y~Pwxyz}"></span> to pairs representation
</p>
<table style="color:#000; background:#F8F9FA; border:1px solid #BAB;"><tbody><tr><td><a href="//commons.wikimedia.org/wiki/File:Inkscape_Logo.svg" class="image"><img alt="Inkscape Logo.svg" src="https://upload.wikimedia.org/wikipedia/commons/thumb/0/0d/Inkscape_Logo.svg/20px-Inkscape_Logo.svg.png" decoding="async" width="20" height="20" srcset="https://upload.wikimedia.org/wikipedia/commons/thumb/0/0d/Inkscape_Logo.svg/30px-Inkscape_Logo.svg.png 1.5x, https://upload.wikimedia.org/wikipedia/commons/thumb/0/0d/Inkscape_Logo.svg/40px-Inkscape_Logo.svg.png 2x" data-file-width="128" data-file-height="128"></a>
</td><td style="font-size:.85em; padding: 1px 5px;">This <a href="https://en.wikipedia.org/wiki/SVG" class="extiw" title="w:SVG">SVG</a> was created with <a href="https://en.wikipedia.org/wiki/Inkscape" class="extiw" title="w:Inkscape">Inkscape</a>.
</td></tr></tbody></table>
<table><tbody><tr><td style="padding: 15px;"><a href="//commons.wikimedia.org/wiki/File:Watchduck.svg" class="image"><img alt="Watchduck.svg" src="https://upload.wikimedia.org/wikipedia/commons/thumb/d/d8/Watchduck.svg/40px-Watchduck.svg.png" decoding="async" width="40" height="46" srcset="https://upload.wikimedia.org/wikipedia/commons/thumb/d/d8/Watchduck.svg/60px-Watchduck.svg.png 1.5x, https://upload.wikimedia.org/wikipedia/commons/thumb/d/d8/Watchduck.svg/80px-Watchduck.svg.png 2x" data-file-width="703" data-file-height="806"></a>
</td>
<td><a href="//commons.wikimedia.org/wiki/User:Watchduck" title="User:Watchduck">Watchduck</a><br><span style="color: gray; font-size: 80%;">You can name the author as "T. Piesk", "Tilman Piesk" or "Watchduck".</span>
</td></tr></tbody></table>
CC BY 3.0
<span class="int-own-work" lang="en">Own work</span>