1: \begin{definition}\label{def:KC(Linf)}

2: Given a link diagram $L\subset P'$, we construct the \emph{Khovanov complex of $L$}, denoted $KC^*(L)$, using the following steps:

3: \begin{enumerate}

4: \item Replace $L$ by the planar diagram $\Lzero$, viewed as a link in $S^3$.

5: \item For each $i=1,\dots,r$ choose a point along $\sl_i$ that is not a crossing point, and insert the complex $C^*(\F_{n_i}^\infty)$ of Theorem \ref{thm:inf twist complex} at that point.

6: \item Take the planar algebraic tensor product of these complexes, together with the Khovanov complexes coming from the crossings already present in the diagram $\Lzero$, in the sense of the tangle canopolies of \cite{BN}.

7: \end{enumerate}

8: See Figure \ref{fig:KC(Linf)} for clarification.  In a slight abuse of notation via Definition \ref{def:Lk}, we can think of this complex as $\KCsimp(\Linf)$.  Analogously, we define the \emph{finite approximation complex} $\KCsimp(\Lk)$ to be the (finite) complex obtained by following the same procedure, but placing the finite complex $\KCsimp(k_i)$ at each insertion point instead of $C^*(\F_{n_i}^\infty)$.

9: 

10: From here we define the \emph{Khovanov homology of $L$} $Kh(L)$ from $KC^*(L)$ by applying Khovanov's functor to complexes of modules over the ground ring and taking homology as usual.

11: \end{definition}

12: