Ramification creates a hierarchy preventing propositional functions from quantifying over their own ...
This proposition has not been edited since the history system was added.