Extensional equivalence at one level of analysis may mask explanatory differences at another: e.g., ...
This proposition has not been edited since the history system was added.