{
  ⟦
    org ↦ ⟦
      eolang ↦ ⟦
        cti ↦ ⟦
          delegate ↦ ∅,
          level ↦ ∅,
          message ↦ ∅,
          φ ↦ ξ.delegate
        ⟧,
        λ ⤍ Package
      ⟧,
      λ ⤍ Package
    ⟧
  ⟧
}