███████████ █████████████

In de ████████████████, een ████████ ██████████ van de ████████, █████ een ███████████ █████████████ een ██████ om de ███ ███████ in een ██████ ███████ te █████████████, dit met ████████████ van de ███████ █████████ (dat wil ██████ de █████████████ van █████████) van de █████████ ███████████. Om deze █████ kan een ███████████ █████████████ worden █████████ als een "████████ van █████████". █████████ kan deze ████████ worden ██████████████ in de █████████ van de ██████████ ██████████████████. ███████████ ██████████████ zijn, na ███████████ en █████████, een van de █████ ███████████ █████████ uit de ████████████████ en █████ ██████ ook in het █████████ van de ████████████ van ████████████████ voor.

Als █ en █ █████████ ██████ de ███████████ █ en █ zijn, dan ████████ een ███████████ █████████████ █ van █ naar █ aan ███ ██████ █ in █ een ████████ █_█ : █(█) → █(█) in █, dat een █████████ van █ naar █ wordt ███████, ███████ dat we voor ███ ████████ █ : █ → █ in █

${\displaystyle {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}\circ \mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})=\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}(\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>})\circ {\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}_{\mathrm{<span\; word-length="1"\; class="word\; redacted">█</span>}}}$

██████.

Deze ████████████ kan ███████████ met ██████ van een ███████████ ███████ worden ██████████.