1: \begin{definition}  Let $\op{P}$ be a Koszul operad as above and let $A$ be a $\op{P}_\infty$-algebra.  Define $\op{O}=\op{P}^!\tensor End_A$.  Then the completed $\op{P}$-cochains of $A$ are defined to be the cochain complex,

2: \begin{equation*}

3: \hat{C}^\ast_\op{P}(A):=(\syl{O}, \delta_\eta)

4: \end{equation*}

5: where $\delta_\eta:=d+[\eta,-]$ after Lemma $\ref{mclemma}$ with MC element from equation $\ref{mccoelement}$ via Theorem $\ref{repthm}$.  The completed $\op{P}$-cohomology of $A$, denoted $\hat{H}^\ast_\op{P}(A)$, is defined to be the cohomology of this complex.

6: 

7: In the case that the MC element $\eta\in MC(\syl{O})$ lifts to ${\eta^\prime}\in MC(\syc{O})$ along the standard inclusion $\syc{O}\to\syl{O}$, we define the (noncompleted) cochain complex

8: \begin{equation*}

9: C^\ast_\op{P}(A):=(\syc{O}, \delta_{\eta^{\prime}})

10: \end{equation*}

11: and define $H^\ast_\op{P}(A)$ to be the cohomology of this complex.

12: \end{definition}

13: