further simplifications, changed saturation oof cum by assert