gamma -> theta

to avoid (rather innocent) collision of notation, gamma_i denotes
cohomology class as well in reduction algorithm