On Tue, Aug 21, 2012 at 11:00 PM, Sean Hunt <[email protected]> wrote: > On Tue, Aug 21, 2012 at 4:23 PM, FKA441344 <[email protected]> wrote: >> I hereby initiate the Agoran Decision to determine the new Justiciar. >> For this decision, the eligible voters are the active first-class >> players, the vote collector is the IADoP, and the valid options are G. >> and FKA441344 (PRESENT is also a valid vote). >> > > When did you nominate yourself? > > -scshunt
On Wed, Aug 15, 2012 at 3:36 PM, FKA441344 <[email protected]> wrote: > To flip an instance of a switch is to make it come to have a given > value, and undefined is not a value, so you can't flip Initial Posture > to undefined, although you could achieve the same effect by using > promises to flip it back and forth infinitely many times. > I nominate myself for Justiciar. > On Wed, Aug 15, 2012 at 2:27 PM, Kerim Aydin <[email protected]> wrote: >> >> >> I assume the office of Justiciar. >> >> I initiate an election for the office of Justiciar. >> >> I nominate myself for Justiciar. >> >> I note a loop in the rules; Posture has the default value >> that is the "Current Value" of Initial Posture, and Initial >> Posture has "the same default value as posture". Therefore >> Initial Posture's default is whatever it happens to be set >> to at the moment. >> >> I flip Initial Posture to undefined. (implicitly a state >> mentioned in Rule 1871). >> >> Discuss. >> >> Justiciar's Monthly Report >> ------------------------------------- >> Initial Posture of Agora Nomic: >> Standing(*) (set by Proposal 7279) >> >> (*) Possibly undefined >> ------------------------------------- >> >> -G. >> >> >>
