>>The traditional definition of refactoring is making well-understood, deterministic transformation of code from one state to another in a way that provably has

>>The traditional definition of refactoring is making well-understood, deterministic transformation of code from one state to another in a way that provably has no effects on the behavior. That is not incorrect but for it to be true refactoring you would have to add this: You extract (or refactor) all the duplicate pieces of code that are performing the same functionality and merge them into (or replace them by) a single module. That is what refactoring truly is.