1: \begin{abstract}

2:   We construct using relatively basic techniques a spectral sequence for exact Lagrangians in cotangent bundles similar to the one constructed by Fukaya, Seidel and Smith. That spectral sequence was used to prove that exact relative spin Lagrangians in simply connected cotangent bundles with vanishing Maslov class are homology equivalent to the base (a similar result was also obtained by Nadler). The ideas in that paper was extended by Abouzaid who proved that vanishing Maslov class is enough to get homotopy equivalence.

3: 

4:   In this paper we present a short proof of homotopy equivalence in the case where the fundamental group of the base is pro-finite. For the general case we need a naturality statement for the spectral sequence, which will be proven in a later paper with Abouzaid, where we also prove that exact Lagrangians are simply homotopy equivalent to the zero-section. The spectral sequence constructed in this paper will be an essential part of that proof.

5: \end{abstract}

6: