1: \begin{definition}\label{def:multiplication}

2: For stacked circle diagrams $D=\un{\lambda}(\mathbf{a})\ov{\mu}$, $D'=\un{\eta}(\mathbf{a'})\ov{\nu}$ let

3: $$ {\rm mult}_{D,D'}: {}_\lambda(\D^\mathbf{a})_\mu \otimes {}_\eta(\D^\mathbf{a'})_\nu \longrightarrow {}_\lambda(\D)_\nu$$

4: be the linear map defined as ${\rm mult}_{D,D'}=0$ if $\mu \neq \eta$ and otherwise as follows: let $E_0=D \circ D' = \un{\lambda}(\mathbf{b^0})\ov{\eta}$ and choose $E_i=\un{\lambda}(\mathbf{b^i})\ov{\eta}$ for $1 \leq i \leq t$, a sequence of stacked circle diagrams such that $E_i$ is obtained from $E_{i-1}$ by a surgery\footnote{

5: The artificially looking choice of only allowing {\it admissible} surgeries between {\it admissible} stacked circle diagrams becomes transparent and consistent with \cite{BS1} if we use the approach from \cite{LS}. Rewriting the dotted cup diagrams in terms of symmetric cup diagrams, as in \cite{LS}, turns neighboured cup-cap-pairs into nested ones and our admissibility assures that we only use those that are applicable for surgery in the sense of \cite{BS1}.

6: } such that $\mathbf{b^t}$ consists of cup diagrams containing only rays. Then

7: \begin{eqnarray} \label{eqn:multiplication}

8: {\rm mult}_{D,D'} = {\rm collapse}_{E_t} \circ {\rm surg}_{E_t,E_{t-1}} \circ \ldots \circ {\rm surg}_{E_0,E_1} \circ {\rm glue}_{D,D'}.

9: \end{eqnarray} 

10: By Theorem \ref{thm:surgeries_commute} this is independent of the choice of sequence of surgeries and stacked circle diagrams $E_i$. By Proposition \ref{forgotgraded} it is of degree zero. 

11: \end{definition}

12: