It contains a complete proof of the Twisted Morse Homology Theorem, which says that on a closed finite-dimensional smooth manifold the homology of the Morse–Smale–Witten chain complex with coefficients in a bundle of abelian groups G is isomorphic to the singular homology of the manifold with coefficients in G.