A belief can be rationally unrevisable-in-practice while remaining theoretically revisable-under-imp...
This proposition has not been edited since the history system was added.