contraregularity

not defined yet