Finitary, classical assumptions aren't arbitrary constraints but reflect how computational problems ...
This proposition has not been edited since the history system was added.