The charge assumes we must eliminate all modal vocabulary to avoid circularity, but mutual dependenc...
This proposition has not been edited since the history system was added.