saved flag added
quantor removed