[12] Bagging the changes in the Set specification