Semimodularity of the congruence lattice on regular $\omega$-semigroups.