Executing a procedure requires at least minimal true beliefs about what one is doing, making complet...
This proposition has not been edited since the history system was added.