Write correspondence-rules which are equivalent to the given correspondence-rule.