some redundancy elimination