Modularity of the lattice of congruences of a regular ω -semigroup.