Identifying necessary conditions for persistence (no Defect introduction) is substantive; it explain...
This proposition has not been edited since the history system was added.