“…For the converse inclusion we argue as in [3,Lem. 3.2], using the localization formalism of Section 4.4 and in particular the maps E and R defined in (14) and (15). We let σ be the extension of functions from (−1, 0) × (−1, 1) d−1 to (−1, 1) d−1 by even reflection and consider the operator T : f → R((Ef ) 0 , (σ(Ef ) i ) i∈I ).…”