[75] The functional $\mathcal{S}$ is independent of Hamiltonian deformations of the path of Lagrangians fixing the two ends. In particular, by fixing the starting Lagrangian $L_{0}$, we obtain a functional $\mathcal{S}$ of the endpoint Lagrangian, which is well defined on the universal cover $\tilde{\mathcal{O}}$.