 Token-identity theories also match theory-reduction according to Schaffner’s and the New Wave reductionist’s models. Within these models, token-identity theories do not back up strong or perfectly smooth cases of reduction, but they nevertheless support reductions that are stronger than those that are merely extreme cases of replacement, not involving correction in any robust sense.