Iterated revision sequences create nested conditionals (believe q given p, given r) that formally mi...
This proposition has not been edited since the history system was added.