subsaturation

not defined yet