This interpretation avoids the problem of assigning modal operators to statements that are merely de...
This proposition has not been edited since the history system was added.