P2's argumentative force depends on assuming non-effects must be explicitly stated; built-in default...
This proposition has not been edited since the history system was added.