redundancy by substitution