Glossary FDLnotes
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html

Assimilating Ordinary Objects to Certificates

We have presupposed a distinction between ordinary FDL objects and certificate objects. It would be possible to treat non-certificate objects as a specific kind degenerate of certificate object. To do this we would have to allow reconsideration procedures for certificates to take optional arguments; whether there would be some benefit other than contriving this assimilation remains to be seen.

Let the creation protocol take as argument a possible content, and let executing it simply be using that argument as the new certificate's content. The "reconsideration" procedure would take an optional argument; if the optional argument is not supplied, then leave the object intact, otherwise update the content to the specified argument.

Of course, if we were to do this assimilation to a single kind of object, we should drop the terminology of "certificate" in our general exposition, and simply say each object kind has creation and reconsideration procedures. The fact that simple reconsideration of our "degenerate" kind of object leaves its instances intact means that their being marked for reconsideration would have no effect. IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html

Glossary FDLnotes