─────────────
                   0⁻¹ δ⁻¹ ⊆ 0⁻¹
  ───────────      ─────────────
  α ⊆ δ⁻¹ ζ γ        δ δ⁻¹ ⊆ 1
───────────────   ───────────────
δ α ⊆ δ δ⁻¹ ζ γ   δ δ⁻¹ ζ γ ⊆ ζ γ
─────────────────────────────────
            δ α ⊆ ζ γ



                  ───────────         ─────────
                  0⁻¹ ⊆ 0⁻¹ ν         ν θ ⊆ λ ζ
─────────────   ───────────────   ─────────────────      ─────────────
0 γ⁻¹ ⊆ 0⁻¹ θ   0⁻¹ θ ⊆ 0⁻¹ ν θ   0⁻¹ ν θ ⊆ 0⁻¹ λ ζ      0⁻¹ ζ⁻¹ ⊆ 0⁻¹
───────────────────────────────────────────────────      ─────────────
                  0 γ⁻¹ ⊆ 0⁻¹ λ ζ                          ζ ζ⁻¹ ⊆ 1
───────────────────────────────────────────────────   ───────────────────   ─────────────
              0 γ⁻¹ ζ⁻¹ ⊆ 0⁻¹ λ ζ ζ⁻¹                 0⁻¹ λ ζ ζ⁻¹ ⊆ 0⁻¹ λ   0⁻¹ λ ⊆ 0 δ⁻¹
─────────────────────────────────────────────────────────────────────────────────────────     ───────────
                                    0 γ⁻¹ ζ⁻¹ ⊆ 0 δ⁻¹                                         δ⁻¹ ζ γ ⊆ α
─────────────────────────────────────────────────────────────────────────────────────────   ───────────────
                                     ζ γ ⊆ δ δ⁻¹ ζ γ                                        δ δ⁻¹ ζ γ ⊆ δ α
───────────────────────────────────────────────────────────────────────────────────────────────────────────
                                                 ζ γ ⊆ δ α



                   ─────────────
                   0⁻¹ ε⁻¹ ⊆ 0⁻¹
  ───────────      ─────────────
  β ⊆ ε⁻¹ η δ        ε ε⁻¹ ⊆ 1
───────────────   ───────────────
ε β ⊆ ε ε⁻¹ η δ   ε ε⁻¹ η δ ⊆ η δ
─────────────────────────────────
            ε β ⊆ η δ



                  ───────────         ─────────
                  0⁻¹ ⊆ 0⁻¹ ξ         ξ λ ⊆ μ η
─────────────   ───────────────   ─────────────────      ─────────────
0 δ⁻¹ ⊆ 0⁻¹ λ   0⁻¹ λ ⊆ 0⁻¹ ξ λ   0⁻¹ ξ λ ⊆ 0⁻¹ μ η      0⁻¹ η⁻¹ ⊆ 0⁻¹
───────────────────────────────────────────────────      ─────────────
                  0 δ⁻¹ ⊆ 0⁻¹ μ η                          η η⁻¹ ⊆ 1
───────────────────────────────────────────────────   ───────────────────   ─────────────
              0 δ⁻¹ η⁻¹ ⊆ 0⁻¹ μ η η⁻¹                 0⁻¹ μ η η⁻¹ ⊆ 0⁻¹ μ   0⁻¹ μ ⊆ 0 ε⁻¹
─────────────────────────────────────────────────────────────────────────────────────────     ───────────
                                    0 δ⁻¹ η⁻¹ ⊆ 0 ε⁻¹                                         ε⁻¹ η δ ⊆ β
─────────────────────────────────────────────────────────────────────────────────────────   ───────────────
                                     η δ ⊆ ε ε⁻¹ η δ                                        ε ε⁻¹ η δ ⊆ ε β
───────────────────────────────────────────────────────────────────────────────────────────────────────────
                                                 η δ ⊆ ε β



 ─────────────
 0⁻¹ ⊆ π⁻¹ 0⁻¹
 ─────────────      ───────────
   1 ⊆ π⁻¹ π        ρ ν π⁻¹ ⊆ τ
───────────────   ───────────────
ρ ν ⊆ ρ ν π⁻¹ π   ρ ν π⁻¹ π ⊆ τ π
─────────────────────────────────
            ρ ν ⊆ τ π



                                                            ─────────         ───────────
                                                            ν θ ⊆ λ ζ         ζ 0⁻¹ ⊆ 0⁻¹
                                     ─────────────      ─────────────────   ───────────────   ─────────────
                                     0⁻¹ ⊆ ν⁻¹ 0⁻¹      ν θ 0⁻¹ ⊆ λ ζ 0⁻¹   λ ζ 0⁻¹ ⊆ λ 0⁻¹   λ 0⁻¹ ⊆ ρ⁻¹ 0
                                     ─────────────      ───────────────────────────────────────────────────
                                       1 ⊆ ν⁻¹ ν                          ν θ 0⁻¹ ⊆ ρ⁻¹ 0
                  ─────────────   ───────────────────   ───────────────────────────────────────────────────
                  π⁻¹ 0 ⊆ θ 0⁻¹   θ 0⁻¹ ⊆ ν⁻¹ ν θ 0⁻¹                 ν⁻¹ ν θ 0⁻¹ ⊆ ν⁻¹ ρ⁻¹ 0
  ───────────     ─────────────────────────────────────────────────────────────────────────────────────────
  τ ⊆ ρ ν π⁻¹                                         π⁻¹ 0 ⊆ ν⁻¹ ρ⁻¹ 0
───────────────   ─────────────────────────────────────────────────────────────────────────────────────────
τ π ⊆ ρ ν π⁻¹ π                                        ρ ν π⁻¹ π ⊆ ρ ν
───────────────────────────────────────────────────────────────────────────────────────────────────────────
                                                 τ π ⊆ ρ ν



 ─────────────
 0⁻¹ ⊆ ρ⁻¹ 0⁻¹
 ─────────────      ───────────
   1 ⊆ ρ⁻¹ ρ        σ ξ ρ⁻¹ ⊆ φ
───────────────   ───────────────
σ ξ ⊆ σ ξ ρ⁻¹ ρ   σ ξ ρ⁻¹ ρ ⊆ φ ρ
─────────────────────────────────
            σ ξ ⊆ φ ρ



                                                            ─────────         ───────────
                                                            ξ λ ⊆ μ η         η 0⁻¹ ⊆ 0⁻¹
                                     ─────────────      ─────────────────   ───────────────   ─────────────
                                     0⁻¹ ⊆ ξ⁻¹ 0⁻¹      ξ λ 0⁻¹ ⊆ μ η 0⁻¹   μ η 0⁻¹ ⊆ μ 0⁻¹   μ 0⁻¹ ⊆ σ⁻¹ 0
                                     ─────────────      ───────────────────────────────────────────────────
                                       1 ⊆ ξ⁻¹ ξ                          ξ λ 0⁻¹ ⊆ σ⁻¹ 0
                  ─────────────   ───────────────────   ───────────────────────────────────────────────────
                  ρ⁻¹ 0 ⊆ λ 0⁻¹   λ 0⁻¹ ⊆ ξ⁻¹ ξ λ 0⁻¹                 ξ⁻¹ ξ λ 0⁻¹ ⊆ ξ⁻¹ σ⁻¹ 0
  ───────────     ─────────────────────────────────────────────────────────────────────────────────────────
  φ ⊆ σ ξ ρ⁻¹                                         ρ⁻¹ 0 ⊆ ξ⁻¹ σ⁻¹ 0
───────────────   ─────────────────────────────────────────────────────────────────────────────────────────
φ ρ ⊆ σ ξ ρ⁻¹ ρ                                        σ ξ ρ⁻¹ ρ ⊆ σ ξ
───────────────────────────────────────────────────────────────────────────────────────────────────────────
                                                 φ ρ ⊆ σ ξ



                          ───────
                          δ 0 ⊆ 0
                      ───────────────   ─────────
                      ζ⁻¹ δ 0 ⊆ ζ⁻¹ 0   ζ⁻¹ 0 ⊆ 0
  ───────────────     ───────────────────────────
  α⁻¹ ⊆ γ⁻¹ ζ⁻¹ δ             ζ⁻¹ δ 0 ⊆ 0
───────────────────   ───────────────────────────   ─────────
α⁻¹ 0 ⊆ γ⁻¹ ζ⁻¹ δ 0       γ⁻¹ ζ⁻¹ δ 0 ⊆ γ⁻¹ 0       γ⁻¹ 0 ⊆ 0
─────────────────────────────────────────────────────────────
                          α⁻¹ 0 ⊆ 0



                                      ─────────         ─────────────────         ─────────────
                                      0 ⊆ ν⁻¹ 0         θ⁻¹ ν⁻¹ ⊆ ζ⁻¹ λ⁻¹         λ⁻¹ 0 ⊆ δ 0⁻¹
 ─────────────    ─────────────   ─────────────────   ─────────────────────   ─────────────────────
 0⁻¹ ⊆ γ⁻¹ 0⁻¹    γ 0⁻¹ ⊆ θ⁻¹ 0   θ⁻¹ 0 ⊆ θ⁻¹ ν⁻¹ 0   θ⁻¹ ν⁻¹ 0 ⊆ ζ⁻¹ λ⁻¹ 0   ζ⁻¹ λ⁻¹ 0 ⊆ ζ⁻¹ δ 0⁻¹
 ─────────────    ─────────────────────────────────────────────────────────────────────────────────       ───────────────
   1 ⊆ γ⁻¹ γ                                      γ 0⁻¹ ⊆ ζ⁻¹ δ 0⁻¹                                       γ⁻¹ ζ⁻¹ δ ⊆ α⁻¹
───────────────   ─────────────────────────────────────────────────────────────────────────────────   ───────────────────────
0⁻¹ ⊆ γ⁻¹ γ 0⁻¹                               γ⁻¹ γ 0⁻¹ ⊆ γ⁻¹ ζ⁻¹ δ 0⁻¹                               γ⁻¹ ζ⁻¹ δ 0⁻¹ ⊆ α⁻¹ 0⁻¹
─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────
                                                        0⁻¹ ⊆ α⁻¹ 0⁻¹



                    ───────
                    γ 0 ⊆ 0
                  ───────────   ───────
                  ζ γ 0 ⊆ ζ 0   ζ 0 ⊆ 0
  ───────────     ─────────────────────
  α ⊆ δ⁻¹ ζ γ           ζ γ 0 ⊆ 0
───────────────   ─────────────────────   ─────────
α 0 ⊆ δ⁻¹ ζ γ 0     δ⁻¹ ζ γ 0 ⊆ δ⁻¹ 0     δ⁻¹ 0 ⊆ 0
───────────────────────────────────────────────────
                      α 0 ⊆ 0



                        ───────────                         ───────
                        γ 0⁻¹ ⊆ 0⁻¹                         0 ⊆ ε 0
                      ───────────────   ─────────────   ───────────────
                      ζ γ 0⁻¹ ⊆ ζ 0⁻¹   ζ 0⁻¹ ⊆ η⁻¹ 0   η⁻¹ 0 ⊆ η⁻¹ ε 0
    ───────────       ─────────────────────────────────────────────────     ───────────────
    α ⊆ δ⁻¹ ζ γ                       ζ γ 0⁻¹ ⊆ η⁻¹ ε 0                     δ⁻¹ η⁻¹ ε ⊆ β⁻¹
───────────────────   ─────────────────────────────────────────────────   ───────────────────
α 0⁻¹ ⊆ δ⁻¹ ζ γ 0⁻¹               δ⁻¹ ζ γ 0⁻¹ ⊆ δ⁻¹ η⁻¹ ε 0               δ⁻¹ η⁻¹ ε 0 ⊆ β⁻¹ 0
─────────────────────────────────────────────────────────────────────────────────────────────
                                        α 0⁻¹ ⊆ β⁻¹ 0



                                                            ─────────────         ─────────────────         ─────────
                                                            δ 0⁻¹ ⊆ λ⁻¹ 0         ζ⁻¹ λ⁻¹ ⊆ θ⁻¹ ν⁻¹         ν⁻¹ 0 ⊆ 0
                          ───────                       ─────────────────────   ─────────────────────   ─────────────────   ─────────────
                          ε 0 ⊆ 0                       ζ⁻¹ δ 0⁻¹ ⊆ ζ⁻¹ λ⁻¹ 0   ζ⁻¹ λ⁻¹ 0 ⊆ θ⁻¹ ν⁻¹ 0   θ⁻¹ ν⁻¹ 0 ⊆ θ⁻¹ 0   θ⁻¹ 0 ⊆ γ 0⁻¹
                      ───────────────   ─────────────   ─────────────────────────────────────────────────────────────────────────────────
                      η⁻¹ ε 0 ⊆ η⁻¹ 0   η⁻¹ 0 ⊆ ζ 0⁻¹                                   ζ⁻¹ δ 0⁻¹ ⊆ γ 0⁻¹
  ───────────────     ───────────────────────────────   ─────────────────────────────────────────────────────────────────────────────────           ─────────────               ───────────
  β⁻¹ ⊆ δ⁻¹ η⁻¹ ε             η⁻¹ ε 0 ⊆ ζ 0⁻¹                                          δ⁻¹ ζ ⊆ δ⁻¹ ζ γ γ⁻¹                                          γ⁻¹ 0⁻¹ ⊆ 0⁻¹               δ⁻¹ ζ γ ⊆ α
───────────────────   ───────────────────────────────   ─────────────────────────────────────────────────────────────────────────────────   ─────────────────────────────   ───────────────────
β⁻¹ 0 ⊆ δ⁻¹ η⁻¹ ε 0       δ⁻¹ η⁻¹ ε 0 ⊆ δ⁻¹ ζ 0⁻¹                                  δ⁻¹ ζ 0⁻¹ ⊆ δ⁻¹ ζ γ γ⁻¹ 0⁻¹                              δ⁻¹ ζ γ γ⁻¹ 0⁻¹ ⊆ δ⁻¹ ζ γ 0⁻¹   δ⁻¹ ζ γ 0⁻¹ ⊆ α 0⁻¹
───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────
                                                                                         β⁻¹ 0 ⊆ α 0⁻¹



                                      ─────────         ─────────────────         ─────────────
                                      0 ⊆ ξ⁻¹ 0         λ⁻¹ ξ⁻¹ ⊆ η⁻¹ μ⁻¹         μ⁻¹ 0 ⊆ ε 0⁻¹
 ─────────────    ─────────────   ─────────────────   ─────────────────────   ─────────────────────
 0⁻¹ ⊆ δ⁻¹ 0⁻¹    δ 0⁻¹ ⊆ λ⁻¹ 0   λ⁻¹ 0 ⊆ λ⁻¹ ξ⁻¹ 0   λ⁻¹ ξ⁻¹ 0 ⊆ η⁻¹ μ⁻¹ 0   η⁻¹ μ⁻¹ 0 ⊆ η⁻¹ ε 0⁻¹
 ─────────────    ─────────────────────────────────────────────────────────────────────────────────       ───────────────
   1 ⊆ δ⁻¹ δ                                      δ 0⁻¹ ⊆ η⁻¹ ε 0⁻¹                                       δ⁻¹ η⁻¹ ε ⊆ β⁻¹
───────────────   ─────────────────────────────────────────────────────────────────────────────────   ───────────────────────
0⁻¹ ⊆ δ⁻¹ δ 0⁻¹                               δ⁻¹ δ 0⁻¹ ⊆ δ⁻¹ η⁻¹ ε 0⁻¹                               δ⁻¹ η⁻¹ ε 0⁻¹ ⊆ β⁻¹ 0⁻¹
─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────
                                                        0⁻¹ ⊆ β⁻¹ 0⁻¹



                    ───────
                    δ 0 ⊆ 0
                  ───────────   ───────
                  η δ 0 ⊆ η 0   η 0 ⊆ 0
  ───────────     ─────────────────────
  β ⊆ ε⁻¹ η δ           η δ 0 ⊆ 0
───────────────   ─────────────────────   ─────────
β 0 ⊆ ε⁻¹ η δ 0     ε⁻¹ η δ 0 ⊆ ε⁻¹ 0     ε⁻¹ 0 ⊆ 0
───────────────────────────────────────────────────
                      β 0 ⊆ 0



                                                  ─────────
                                                  0 ⊆ π⁻¹ 0
                                      ───────   ─────────────
                                      0 ⊆ ν 0   ν 0 ⊆ ν π⁻¹ 0
                                      ───────────────────────
                                            0 ⊆ ν π⁻¹ 0
                      ─────────────   ───────────────────────
                      δ 0⁻¹ ⊆ λ⁻¹ 0     λ⁻¹ 0 ⊆ λ⁻¹ ν π⁻¹ 0
    ───────────       ───────────────────────────────────────     ─────────────────────
    β ⊆ ε⁻¹ η δ                 δ 0⁻¹ ⊆ λ⁻¹ ν π⁻¹ 0               ε⁻¹ η λ⁻¹ ν π⁻¹ ⊆ ω⁻¹
───────────────────   ───────────────────────────────────────   ─────────────────────────
β 0⁻¹ ⊆ ε⁻¹ η δ 0⁻¹       ε⁻¹ η δ 0⁻¹ ⊆ ε⁻¹ η λ⁻¹ ν π⁻¹ 0       ε⁻¹ η λ⁻¹ ν π⁻¹ 0 ⊆ ω⁻¹ 0
─────────────────────────────────────────────────────────────────────────────────────────
                                      β 0⁻¹ ⊆ ω⁻¹ 0



                                                                                        ───────
                                                                                        0 ⊆ η 0
                                                                    ─────────────   ───────────────          ─────────────
                                                                    ζ 0⁻¹ ⊆ η⁻¹ 0   η⁻¹ 0 ⊆ η⁻¹ η 0          0⁻¹ ⊆ λ⁻¹ 0⁻¹
                              ─────────────         ─────────       ───────────────────────────────          ─────────────              ───────
                              π⁻¹ 0 ⊆ θ 0⁻¹         ν θ ⊆ λ ζ               ζ 0⁻¹ ⊆ η⁻¹ η 0                    1 ⊆ λ⁻¹ λ                λ 0 ⊆ 0
                            ─────────────────   ─────────────────   ───────────────────────────────       ───────────────────       ───────────────   ─────────────
                            ν π⁻¹ 0 ⊆ ν θ 0⁻¹   ν θ 0⁻¹ ⊆ λ ζ 0⁻¹         λ ζ 0⁻¹ ⊆ λ η⁻¹ η 0             η⁻¹ 0 ⊆ λ⁻¹ λ η⁻¹ 0       λ⁻¹ λ 0 ⊆ λ⁻¹ 0   λ⁻¹ 0 ⊆ δ 0⁻¹
                            ───────────────────────────────────────────────────────────────────────     ───────────────────────     ───────────────────────────────
                                                      ν π⁻¹ 0 ⊆ λ η⁻¹ η 0                               η λ⁻¹ λ η⁻¹ η ⊆ η λ⁻¹ λ             λ⁻¹ λ 0 ⊆ δ 0⁻¹
                            ───────────────────────────────────────────────────────────────────────   ───────────────────────────   ───────────────────────────────
                                                η λ⁻¹ ν π⁻¹ 0 ⊆ η λ⁻¹ λ η⁻¹ η 0                       η λ⁻¹ λ η⁻¹ η 0 ⊆ η λ⁻¹ λ 0         η λ⁻¹ λ 0 ⊆ η δ 0⁻¹
  ─────────────────────     ───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────       ───────────
  ω⁻¹ ⊆ ε⁻¹ η λ⁻¹ ν π⁻¹                                                             η λ⁻¹ ν π⁻¹ 0 ⊆ η δ 0⁻¹                                                               ε⁻¹ η δ ⊆ β
─────────────────────────   ───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────   ───────────────────
ω⁻¹ 0 ⊆ ε⁻¹ η λ⁻¹ ν π⁻¹ 0                                                       ε⁻¹ η λ⁻¹ ν π⁻¹ 0 ⊆ ε⁻¹ η δ 0⁻¹                                                       ε⁻¹ η δ 0⁻¹ ⊆ β 0⁻¹
─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────
                                                                                      ω⁻¹ 0 ⊆ β 0⁻¹



                                                                                                        ─────────────
                                                                                                        0⁻¹ ⊆ π⁻¹ 0⁻¹
                    ───────────                                                       ─────────────   ─────────────────
                    0⁻¹ ⊆ η 0⁻¹                                                       ξ⁻¹ 0 ⊆ ν 0⁻¹   ν 0⁻¹ ⊆ ν π⁻¹ 0⁻¹
─────────────   ───────────────────       ─────────────         ─────────────────     ─────────────────────────────────
0⁻¹ ⊆ ε⁻¹ 0⁻¹   ε⁻¹ 0⁻¹ ⊆ ε⁻¹ η 0⁻¹       ε 0⁻¹ ⊆ μ⁻¹ 0         η⁻¹ μ⁻¹ ⊆ λ⁻¹ ξ⁻¹             ξ⁻¹ 0 ⊆ ν π⁻¹ 0⁻¹
───────────────────────────────────   ─────────────────────   ─────────────────────   ─────────────────────────────────
          0⁻¹ ⊆ ε⁻¹ η 0⁻¹             η⁻¹ ε 0⁻¹ ⊆ η⁻¹ μ⁻¹ 0   η⁻¹ μ⁻¹ 0 ⊆ λ⁻¹ ξ⁻¹ 0       λ⁻¹ ξ⁻¹ 0 ⊆ λ⁻¹ ν π⁻¹ 0⁻¹
───────────────────────────────────   ─────────────────────────────────────────────────────────────────────────────────       ─────────────────────
          1 ⊆ ε⁻¹ η η⁻¹ ε                                         η⁻¹ ε 0⁻¹ ⊆ λ⁻¹ ν π⁻¹ 0⁻¹                                   ε⁻¹ η λ⁻¹ ν π⁻¹ ⊆ ω⁻¹
───────────────────────────────────   ─────────────────────────────────────────────────────────────────────────────────   ─────────────────────────────
       0⁻¹ ⊆ ε⁻¹ η η⁻¹ ε 0⁻¹                                ε⁻¹ η η⁻¹ ε 0⁻¹ ⊆ ε⁻¹ η λ⁻¹ ν π⁻¹ 0⁻¹                         ε⁻¹ η λ⁻¹ ν π⁻¹ 0⁻¹ ⊆ ω⁻¹ 0⁻¹
───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────
                                                                     0⁻¹ ⊆ ω⁻¹ 0⁻¹



                            ───────
                            ε 0 ⊆ 0
                        ───────────────   ─────────────                                             ─────────
                        η⁻¹ ε 0 ⊆ η⁻¹ 0   η⁻¹ 0 ⊆ ζ 0⁻¹                                             ν⁻¹ 0 ⊆ 0
                        ───────────────────────────────       ─────────         ─────────────     ─────────────   ───────
                                η⁻¹ ε 0 ⊆ ζ 0⁻¹               λ ζ ⊆ ν θ         θ 0⁻¹ ⊆ π⁻¹ 0     π ν⁻¹ 0 ⊆ π 0   π 0 ⊆ 0
                        ───────────────────────────────   ─────────────────   ─────────────────   ───────────────────────
                              λ η⁻¹ ε 0 ⊆ λ ζ 0⁻¹         λ ζ 0⁻¹ ⊆ ν θ 0⁻¹   ν θ 0⁻¹ ⊆ ν π⁻¹ 0         π ν⁻¹ 0 ⊆ 0
  ─────────────────     ───────────────────────────────────────────────────────────────────────   ───────────────────────
  ω ⊆ π ν⁻¹ λ η⁻¹ ε                               λ η⁻¹ ε 0 ⊆ ν π⁻¹ 0                                 π ν⁻¹ ν π⁻¹ ⊆ 1
─────────────────────   ───────────────────────────────────────────────────────────────────────   ───────────────────────
ω 0 ⊆ π ν⁻¹ λ η⁻¹ ε 0                       π ν⁻¹ λ η⁻¹ ε 0 ⊆ π ν⁻¹ ν π⁻¹ 0                          π ν⁻¹ ν π⁻¹ 0 ⊆ 0
─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────
                                                         ω 0 ⊆ 0



                                ───────────
                                ε 0⁻¹ ⊆ 0⁻¹
                            ───────────────────   ─────────────
                            η⁻¹ ε 0⁻¹ ⊆ η⁻¹ 0⁻¹   η⁻¹ 0⁻¹ ⊆ 0⁻¹
                            ───────────────────────────────────
                                      η⁻¹ ε 0⁻¹ ⊆ 0⁻¹
                            ───────────────────────────────────   ─────────────
                                    λ η⁻¹ ε 0⁻¹ ⊆ λ 0⁻¹           λ 0⁻¹ ⊆ ρ⁻¹ 0
    ─────────────────       ───────────────────────────────────────────────────     ───────────────
    ω ⊆ π ν⁻¹ λ η⁻¹ ε                       λ η⁻¹ ε 0⁻¹ ⊆ ρ⁻¹ 0                     π ν⁻¹ ρ⁻¹ ⊆ τ⁻¹
─────────────────────────   ───────────────────────────────────────────────────   ───────────────────
ω 0⁻¹ ⊆ π ν⁻¹ λ η⁻¹ ε 0⁻¹             π ν⁻¹ λ η⁻¹ ε 0⁻¹ ⊆ π ν⁻¹ ρ⁻¹ 0             π ν⁻¹ ρ⁻¹ 0 ⊆ τ⁻¹ 0
─────────────────────────────────────────────────────────────────────────────────────────────────────
                                            ω 0⁻¹ ⊆ τ⁻¹ 0



                                                                                                  ─────────────
                                                                                                  ν⁻¹ 0⁻¹ ⊆ 0⁻¹
                                                                        ───────                 ─────────────────   ─────────────
                                                                        λ 0 ⊆ 0                 ν ν⁻¹ 0⁻¹ ⊆ ν 0⁻¹   ν 0⁻¹ ⊆ ξ⁻¹ 0
                                        ─────────────                  ─────────                ─────────────────────────────────     ─────────────────         ─────────────
                                        0⁻¹ ⊆ λ⁻¹ 0⁻¹                  λ λ⁻¹ ⊆ 1                        ν ν⁻¹ 0⁻¹ ⊆ ξ⁻¹ 0             λ⁻¹ ξ⁻¹ ⊆ η⁻¹ μ⁻¹         μ⁻¹ 0 ⊆ ε 0⁻¹
                      ─────────────   ─────────────────           ───────────────────           ─────────────────────────────────   ─────────────────────   ─────────────────────
                      ρ⁻¹ 0 ⊆ λ 0⁻¹   λ 0⁻¹ ⊆ λ λ⁻¹ 0⁻¹           λ λ⁻¹ ν 0⁻¹ ⊆ ν 0⁻¹               λ⁻¹ ν ν⁻¹ 0⁻¹ ⊆ λ⁻¹ ξ⁻¹ 0       λ⁻¹ ξ⁻¹ 0 ⊆ η⁻¹ μ⁻¹ 0   η⁻¹ μ⁻¹ 0 ⊆ η⁻¹ ε 0⁻¹
                      ─────────────────────────────────       ───────────────────────────       ─────────────────────────────────────────────────────────────────────────────────
                              ρ⁻¹ 0 ⊆ λ λ⁻¹ 0⁻¹               ν⁻¹ λ λ⁻¹ ⊆ ν⁻¹ λ λ⁻¹ ν ν⁻¹                                   λ⁻¹ ν ν⁻¹ 0⁻¹ ⊆ η⁻¹ ε 0⁻¹
                      ─────────────────────────────────   ───────────────────────────────────   ─────────────────────────────────────────────────────────────────────────────────
                          ν⁻¹ ρ⁻¹ 0 ⊆ ν⁻¹ λ λ⁻¹ 0⁻¹       ν⁻¹ λ λ⁻¹ 0⁻¹ ⊆ ν⁻¹ λ λ⁻¹ ν ν⁻¹ 0⁻¹                         ν⁻¹ λ λ⁻¹ ν ν⁻¹ 0⁻¹ ⊆ ν⁻¹ λ η⁻¹ ε 0⁻¹
  ───────────────     ───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────       ─────────────────
  τ⁻¹ ⊆ π ν⁻¹ ρ⁻¹                                                                     ν⁻¹ ρ⁻¹ 0 ⊆ ν⁻¹ λ η⁻¹ ε 0⁻¹                                                                       π ν⁻¹ λ η⁻¹ ε ⊆ ω
───────────────────   ───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────   ─────────────────────────
τ⁻¹ 0 ⊆ π ν⁻¹ ρ⁻¹ 0                                                                 π ν⁻¹ ρ⁻¹ 0 ⊆ π ν⁻¹ λ η⁻¹ ε 0⁻¹                                                                 π ν⁻¹ λ η⁻¹ ε 0⁻¹ ⊆ ω 0⁻¹
─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────
                                                                                                τ⁻¹ 0 ⊆ ω 0⁻¹



                                  ─────────────
                                  0⁻¹ ⊆ ρ⁻¹ 0⁻¹
              ─────────────   ─────────────────────
              0⁻¹ ⊆ ν⁻¹ 0⁻¹   ν⁻¹ 0⁻¹ ⊆ ν⁻¹ ρ⁻¹ 0⁻¹
              ─────────────────────────────────────       ───────────────
                        0⁻¹ ⊆ ν⁻¹ ρ⁻¹ 0⁻¹                 π ν⁻¹ ρ⁻¹ ⊆ τ⁻¹
───────────   ─────────────────────────────────────   ───────────────────────
0⁻¹ ⊆ π 0⁻¹           π 0⁻¹ ⊆ π ν⁻¹ ρ⁻¹ 0⁻¹           π ν⁻¹ ρ⁻¹ 0⁻¹ ⊆ τ⁻¹ 0⁻¹
─────────────────────────────────────────────────────────────────────────────
                                0⁻¹ ⊆ τ⁻¹ 0⁻¹



                    ─────────────         ─────────         ───────────
                    π⁻¹ 0 ⊆ θ 0⁻¹         ν θ ⊆ λ ζ         ζ 0⁻¹ ⊆ 0⁻¹
                  ─────────────────   ─────────────────   ───────────────   ─────────────     ───────
                  ν π⁻¹ 0 ⊆ ν θ 0⁻¹   ν θ 0⁻¹ ⊆ λ ζ 0⁻¹   λ ζ 0⁻¹ ⊆ λ 0⁻¹   λ 0⁻¹ ⊆ ρ⁻¹ 0     ρ 0 ⊆ 0
  ───────────     ───────────────────────────────────────────────────────────────────────    ─────────
  τ ⊆ ρ ν π⁻¹                                 ν π⁻¹ 0 ⊆ ρ⁻¹ 0                                ρ ρ⁻¹ ⊆ 1
───────────────   ───────────────────────────────────────────────────────────────────────   ───────────
τ 0 ⊆ ρ ν π⁻¹ 0                             ρ ν π⁻¹ 0 ⊆ ρ ρ⁻¹ 0                             ρ ρ⁻¹ 0 ⊆ 0
───────────────────────────────────────────────────────────────────────────────────────────────────────
                                                τ 0 ⊆ 0



                        ─────────────                         ─────────
                        π⁻¹ 0⁻¹ ⊆ 0⁻¹                         0 ⊆ σ⁻¹ 0
                      ─────────────────   ─────────────   ─────────────────
                      ν π⁻¹ 0⁻¹ ⊆ ν 0⁻¹   ν 0⁻¹ ⊆ ξ⁻¹ 0   ξ⁻¹ 0 ⊆ ξ⁻¹ σ⁻¹ 0
    ───────────       ─────────────────────────────────────────────────────     ───────────────
    τ ⊆ ρ ν π⁻¹                       ν π⁻¹ 0⁻¹ ⊆ ξ⁻¹ σ⁻¹ 0                     ρ ξ⁻¹ σ⁻¹ ⊆ φ⁻¹
───────────────────   ─────────────────────────────────────────────────────   ───────────────────
τ 0⁻¹ ⊆ ρ ν π⁻¹ 0⁻¹                 ρ ν π⁻¹ 0⁻¹ ⊆ ρ ξ⁻¹ σ⁻¹ 0                 ρ ξ⁻¹ σ⁻¹ 0 ⊆ φ⁻¹ 0
─────────────────────────────────────────────────────────────────────────────────────────────────
                                          τ 0⁻¹ ⊆ φ⁻¹ 0



                                                                      ───────────         ─────────         ─────────────
                                                                      0⁻¹ ⊆ η 0⁻¹         μ η ⊆ ξ λ         λ 0⁻¹ ⊆ ρ⁻¹ 0
                                                    ─────────────   ───────────────   ─────────────────   ─────────────────                     ─────────────
                                                    σ⁻¹ 0 ⊆ μ 0⁻¹   μ 0⁻¹ ⊆ μ η 0⁻¹   μ η 0⁻¹ ⊆ ξ λ 0⁻¹   ξ λ 0⁻¹ ⊆ ξ ρ⁻¹ 0                     0⁻¹ ⊆ π⁻¹ 0⁻¹
                                                    ───────────────────────────────────────────────────────────────────────   ─────────────   ─────────────────
                                                                                σ⁻¹ 0 ⊆ ξ ρ⁻¹ 0                               ξ⁻¹ 0 ⊆ ν 0⁻¹   ν 0⁻¹ ⊆ ν π⁻¹ 0⁻¹
  ───────────────               ───────             ───────────────────────────────────────────────────────────────────────   ─────────────────────────────────       ───────────
  φ⁻¹ ⊆ ρ ξ⁻¹ σ⁻¹               0 ⊆ σ 0                                       ρ ξ⁻¹ σ⁻¹ σ ⊆ ρ ξ⁻¹                                     ξ⁻¹ 0 ⊆ ν π⁻¹ 0⁻¹               ρ ν π⁻¹ ⊆ τ
───────────────────   ───────────────────────────   ───────────────────────────────────────────────────────────────────────   ─────────────────────────────────   ───────────────────
φ⁻¹ 0 ⊆ ρ ξ⁻¹ σ⁻¹ 0   ρ ξ⁻¹ σ⁻¹ 0 ⊆ ρ ξ⁻¹ σ⁻¹ σ 0                           ρ ξ⁻¹ σ⁻¹ σ 0 ⊆ ρ ξ⁻¹ 0                                 ρ ξ⁻¹ 0 ⊆ ρ ν π⁻¹ 0⁻¹         ρ ν π⁻¹ 0⁻¹ ⊆ τ 0⁻¹
─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────
                                                                                    φ⁻¹ 0 ⊆ τ 0⁻¹



                                  ─────────────
                                  0⁻¹ ⊆ σ⁻¹ 0⁻¹
              ─────────────   ─────────────────────
              0⁻¹ ⊆ ξ⁻¹ 0⁻¹   ξ⁻¹ 0⁻¹ ⊆ ξ⁻¹ σ⁻¹ 0⁻¹
              ─────────────────────────────────────       ───────────────
                        0⁻¹ ⊆ ξ⁻¹ σ⁻¹ 0⁻¹                 ρ ξ⁻¹ σ⁻¹ ⊆ φ⁻¹
───────────   ─────────────────────────────────────   ───────────────────────
0⁻¹ ⊆ ρ 0⁻¹           ρ 0⁻¹ ⊆ ρ ξ⁻¹ σ⁻¹ 0⁻¹           ρ ξ⁻¹ σ⁻¹ 0⁻¹ ⊆ φ⁻¹ 0⁻¹
─────────────────────────────────────────────────────────────────────────────
                                0⁻¹ ⊆ φ⁻¹ 0⁻¹



                    ─────────────         ─────────         ───────────
                    ρ⁻¹ 0 ⊆ λ 0⁻¹         ξ λ ⊆ μ η         η 0⁻¹ ⊆ 0⁻¹
                  ─────────────────   ─────────────────   ───────────────   ─────────────     ───────
                  ξ ρ⁻¹ 0 ⊆ ξ λ 0⁻¹   ξ λ 0⁻¹ ⊆ μ η 0⁻¹   μ η 0⁻¹ ⊆ μ 0⁻¹   μ 0⁻¹ ⊆ σ⁻¹ 0     σ 0 ⊆ 0
  ───────────     ───────────────────────────────────────────────────────────────────────    ─────────
  φ ⊆ σ ξ ρ⁻¹                                 ξ ρ⁻¹ 0 ⊆ σ⁻¹ 0                                σ σ⁻¹ ⊆ 1
───────────────   ───────────────────────────────────────────────────────────────────────   ───────────
φ 0 ⊆ σ ξ ρ⁻¹ 0                             σ ξ ρ⁻¹ 0 ⊆ σ σ⁻¹ 0                             σ σ⁻¹ 0 ⊆ 0
───────────────────────────────────────────────────────────────────────────────────────────────────────
                                                φ 0 ⊆ 0



                              ─────────────
                              0⁻¹ ⊆ ρ⁻¹ 0⁻¹
              ───────────   ─────────────────
              0⁻¹ ⊆ ξ 0⁻¹   ξ 0⁻¹ ⊆ ξ ρ⁻¹ 0⁻¹
              ───────────────────────────────       ───────────
                      0⁻¹ ⊆ ξ ρ⁻¹ 0⁻¹               σ ξ ρ⁻¹ ⊆ φ
───────────   ───────────────────────────────   ───────────────────
0⁻¹ ⊆ σ 0⁻¹         σ 0⁻¹ ⊆ σ ξ ρ⁻¹ 0⁻¹         σ ξ ρ⁻¹ 0⁻¹ ⊆ φ 0⁻¹
───────────────────────────────────────────────────────────────────
                            0⁻¹ ⊆ φ 0⁻¹