A protocol's theoretical possibility can be independent of current accessibility; theories can revis...
This proposition has not been edited since the history system was added.