Past applications of a rule underdetermine future ones; infinite rule-interpretations fit any finite...
This proposition has not been edited since the history system was added.