Helm correctly identifies that 'accidental necessity' still constrains modal freedom, undermining ti...
This proposition has not been edited since the history system was added.