saturability
not defined yet