A procedural account can succeed if 'establishes' means 'rationally warrants' rather than 'guarantee...
This proposition has not been edited since the history system was added.