1: \begin{definition}(Definition 8 of \cite{thommark})

2: The relatively-graded chain complex $C^\infty_*(S^3_{\mathbf{0}}(L))$ is exactly $(E_3,d_3)$ under the identifications of Theorem~\ref{spectralcalc}.

3: \end{definition}