Both conditions jointly prevent vicious circularity: nature-ordering prevents arbitrariness, while a...
This proposition has not been edited since the history system was added.