The Thomas-Yau conjecture is an open-ended program to relate special Lagrangians to stability conditions in Floer theory, but the precise notion of stability is subject to many interpretations. I will focus on the exact case (Stein Calabi-Yau manifolds), and deal only with almost calibrated Lagrangians. I will attempt a formulation of Thomas-Yau semistability condition (meant to be less ambitious than Joyce’s program), and focus primarily on the symplectic aspects, and the technique of integration over the moduli space of holomorphic discs.