A decision procedure must be implementable with limited information; a criterion of rightness can re...
This proposition has not been edited since the history system was added.