[05VN] Proof of (6.2) from (11.1). Since EE is the colimit of the E(n)E^{(n)} along a sequence of cofibrations, it follows by (11.1) that Maps𝒮(E,W)\Map_{s{\operatorname{\mathcal{S}}}}(E,W) is the inverse limit of the Maps𝒮(E(n),W)\Map_{s{\operatorname{\mathcal{S}}}}(E^{(n)},W) along a tower of trivial fibrations. The proposition follows. ∎