seminormalness

not defined yet