Unobserved regularities cannot be directly accessed, so any claim about them relies on inductive inf...
This proposition has not been edited since the history system was added.