1: \begin{definition}[Theorem]

2: An observable $o$ is an element of the cohomology $H$ of the complex $(\sC,Q)$

3: satisfying $\k^{(n)}\left(o\right)=0$ for all $n=1,2,3,\cdots$, i.e., $\bos{\k}(o)=0$. 

4: The quantum expectation value of

5: an observable $o$ is 

6: $$

7: \bos{\iota}

8: \left(o\right)

9: =\bos{c}\left(\bos{f}(o)\right)

10: =\sum_{n=0}^{\infty}\hbar^{n}\sum_{\ell=0}^{n}c^{(n-\ell)}\left(f^{(\ell)}\left(o\right)\right),

11: $$

12: which  is a ``quantum'' homotopy invariant as well as invariant under the automorphism of BV

13: QFT algebra.

14: \end{definition}

15: