woggle wrote: >> Cleanliness is a public contract switch with values Unclean >> (default) and Clean. Changes to Cleanliness are secured. > tracked by whom?
The Janitor. >> * Murphy and the AFO agree to the following public contract, and >> Murphy consents to be its contestmaster. > I don't like doing such consent by proposal. Can you create a bootstrapping > rule > for the contestmaster flipping and the like? What's wrong with it? The proposal is itself an instrument with Power=2, so it can perform the various secured changes directly.