ais523 wrote: > On Fri, 2008-12-19 at 23:25 -0800, Ed Murphy wrote: >> 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. >> > I'm concerned that R101 may block those changes, with respect to the > non-Murphy parties of the AFO.
Point; I'll make it a pledge instead.
