If a theory systematically requires quantification over Xs to achieve its best formulation, that con...
This proposition has not been edited since the history system was added.