seminormality

not defined yet