0PCH Remark 8.1.12. As in Remark 8.1.4, we recover the construction of “top algebra module” of Douglas and Manolescu by taking the underlying lax 22-representation of Rξ′R_{\xi^{\prime}}.