“…They also proved that, in general, the Banach envelope of ℓ ϕ is represented by the closure of J(ℓ ϕ ) in ℓ ψ ⊕ ℓ ϕ /m ϕ , where the envelope map J is given by J(f ) = (f, f + m ϕ ) for all f ∈ ℓ ϕ . Other more recent articles working specifically on Banach envelopes include, e.g., [3,11,13,[25][26][27].…”