The domain of the function where the rule applies is all words that have a different first letter than the output word. There does not appear to be any corruption in the domain.