The hard/soft distinction respects intuitive asymmetries: past events are fixed, but past beliefs ab...
This proposition has not been edited since the history system was added.