This previlleged role of $HF^{0}$ is reflected in the usual Thomas-Yau argument (cf. section 2.2), which only makes use of $HF^{0}$, not the higher Floer cohomologies, nor full set of higher $A_{\infty}$ products.