FO+LFP and SO capture identical problem sets extensionally, but may involve fundamentally different ...
This proposition has not been edited since the history system was added.