By combining the geometry of mirror fibrations in the SYZ conjecture with a detailed understanding of enumerative invariants and the structure of the singular set of the base B , it is possible to use the geometry of the fibration to build the isomorphism of categories from the Lagrangian submanifolds of X to the coherent sheaves of X ^ ^ , the map F u k ( X ) → → D b C o h ( X ^ ^ ) . By repeating this same discussion in reverse using the duality of the torus fibrations, one similarly can understand coherent sheaves on X in terms of Lagrangian submanifolds of X ^ ^ , and hope to get a complete understanding of how the HMS conjecture relates to the SYZ conjecture.