Logical laws governing universals (non-contradiction, excluded middle) hold independently of whether...
This proposition has not been edited since the history system was added.