Desires for reality and desires for belief collapse together: wanting p false requires believing it ...
This proposition has not been edited since the history system was added.