One of the most interesting aspects of Khovanov's homology is that its exact sequences are formally similar to those arising in the Floer homology of 3-manifolds. Moreover, it has been used to produce another proof of a result first demonstrated using gauge theory and its cousins: Jacob Rasmussen's new proof of a theorem of Peter Kronheimer and Tomasz Mrowka, formerly known as the Milnor conjecture (see below). There is a spectral sequence relating Khovanov homology with the knot Floer homology of Peter Ozsváth and Zoltán Szabó (Dowlin 2018). This spectral sequence settled an earlier conjecture on the relationship between the two theories (Dunfield et al. 2005). Another spectral sequence (Ozsváth-Szabó 2005) relates a variant of Khovanov homology with the Heegaard Floer homology of the branched double cover along a knot. A third (Bloom 2009) converges to a variant of the monopole Floer homology of the branched double cover. In 2010 Kronheimer and Mrowka exhibited a spectral sequence abutting to their instanton knot Floer homology group and used this to show that Khovanov Homology (like the instanton knot Floer homology) detects the unknot.