{⟦ org() ↦ ⟦ eolang() ↦ ⟦ true() ↦ ⟦ φ ↦ Φ̇.bytes(⟦ Δ ⤍ 01- ⟧), not ↦ Φ̇.false, if(left, right) ↦ ⟦ φ ↦ ξ.left ⟧, and(x) ↦ ⟦ φ ↦ Φ̇.bytes(⟦ Δ ⤍ 01- ⟧).eq(ξ.x) ⟧, or(x) ↦ ⟦ φ ↦ ξ.ρ ⟧ ⟧, λ ⤍ Package ⟧, λ ⤍ Package ⟧ ⟧}