Well-definedness requires identity conditions; unbounded magnitudes prevent establishing when x reac...
This proposition has not been edited since the history system was added.