We systematically reject circular inferences in other domains; consistency demands we apply the same...
This proposition has not been edited since the history system was added.