The procedural/conceptual distinction cannot cleanly separate what connectives do—they both constrai...
This proposition has not been edited since the history system was added.