The rule implemented by the function applies to all word inputs. There is no corruption or part of the domain where the rule does not hold.