MODIFIES_REDUNDANTLY