Contradictions are logically impossible, so no possible world satisfies them; empty domains correctl...
This proposition has not been edited since the history system was added.