Extensional adequacy might permit bounded domains; a scheme valid for n^10 computations meets empiri...
This proposition has not been edited since the history system was added.