A property cannot explain why it holds unless that explanation is independent of assuming the proper...
This proposition has not been edited since the history system was added.