The rule implemented by the function applies to all input words. There is no corruption in the domain where the rule usually holds.