Decision procedures claiming rationality must distinguish themselves from arbitrary assignment; prob...
This proposition has not been edited since the history system was added.