Updating abstract system