semimildness

not defined yet