bug in definition of saturated