semiminim

not defined yet