Definition of "replaces"