deletion of redundancy