Demonstrating non-equivalence requires only showing one formulation permits scenarios the other forb...
This proposition has not been edited since the history system was added.