Non-normal frames alone don't generate counterexamples without specifying which global properties fa...
This proposition has not been edited since the history system was added.