Lower semimodularity of the congruence lattice of simple regular ω -semigroups.