It differs from SFT in technical conditions on the collections of Reeb orbits that generate it—and in not counting all holomorphic curves with Fredholm index 1 with given ends, but only those that also satisfy a topological condition given by the ECH index, which in particular implies that the curves considered are (mainly) embedded. The Weinstein conjecture that a contact 3-manifold has a closed Reeb orbit for any contact form holds on any manifold whose ECH is nontrivial, and was proved by Taubes using techniques closely related to ECH; extensions of this work yielded the isomorphism between ECH and SWF. Many constructions in ECH (including its well-definedness) rely upon this isomorphism . The contact element of ECH has a particularly nice form: it is the cycle associated to the empty collection of Reeb orbits. An analog of embedded contact homology may be defined for mapping tori of symplectomorphisms of a surface (possibly with boundary) and is known as periodic Floer homology, generalizing the symplectic Floer homology of surface symplectomorphisms. More generally, it may be defined with respect to any stable Hamiltonian structure on the 3-manifold; like contact structures, stable Hamiltonian structures define a nonvanishing vector field (the Reeb vector field), and Hutchings and Taubes have proven an analogue of the Weinstein conjecture for them, namely that they always have closed orbits (unless they are mapping tori of a 2-torus). Lagrangian intersection Floer homology The Lagrangian Floer homology of two transversely intersecting Lagrangian submanifolds of a symplectic manifold is the homology of a chain complex generated by the intersection points of the two submanifolds and whose differential counts pseudoholomorphic Whitney discs. Given three Lagrangian submanifolds L0, L1, and L2 of a symplectic manifold, there is a product structure on the Lagrangian Floer homology: which is defined by counting holomorphic triangles (that is, holomorphic maps of a triangle whose vertices and edges map to the appropriate intersection points and Lagrangian submanifolds). Papers on this subject are due to Fukaya, Oh, Ono, and Ohta; the recent work on "cluster homology" of Lalonde and Cornea offer a different approach to it. The Floer homology of a pair of Lagrangian submanifolds may not always exist; when it does, it provides an obstruction to isotoping one Lagrangian away from the other using a Hamiltonian isotopy. Several kinds of Floer homology are special cases of Lagrangian Floer homology. The symplectic Floer homology of a symplectomorphism of M