overregularity

not defined yet