Different resource measures (time, space, reversible operations) cannot be purely formally equivalen...
This proposition has not been edited since the history system was added.