Removing redundant redundancy