Floer homology
は、これから従うことが知られている。この予想は、ラグラジアン部分多様体に関する予想であり、多くの場合に、シンプレクティックなフレアーホモロジーを構成することで、証明されている。