IBE's comparative advantage (not requiring exhaustion) doesn't address whether we've examined theist...
This proposition has not been edited since the history system was added.