Example 23.
Formal diagram of
Okho
