added through section 4.4

also changed cohomology from $H^i$ to $\h^i$, where $\h$ is a
\DeclareMathOperator{\h}{H}.