Deletion of redundant.