Fukaya's Witten-complex conjecture for Lagrangian disc instantons

Let $M$ be a manifold, let $f_i$ be functions on $M$, and let $L_i={\rm graph\ }df_i\subset T^*M$ for $i=1,2,3$. For intersection points $p_{ij}\in L_i\cap L_j$, let $\psi_{ij}$ be a linear combination of eigenfunctions with sufficiently small eigenvalues of the Witten Laplacian $P^{(k)}$ on $k$-forms associated with $f_i-f_j$, localized around $p_{ij}$. Fukaya's conjecture. The pairing of these Witten-complex states should satisfy

$$\langle \psi_{12}\wedge\psi_{23},\psi_{31}\rangle_{L^2}\sim\sum e^{-\frac{1}{h}\int\omega}\,\lVert\psi_{12}\rVert\,\lVert\psi_{23}\rVert\,\lVert\psi_{31}\rVert,$$

where the sum is over pseudoholomorphic triangles, or disc instantons, with vertices $p_{ij}$. This is the simplest expected form of an $A_\infty$-category structure on Witten complexes associated with different Morse functions, relating their products to Fukaya-type disc instantons.