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.
--
ais523
