Deleting Redundant Statistics