Logical truths (e.g., non-contradiction) cannot be false in any possible world, even one governed by...
This proposition has not been edited since the history system was added.