On 06/04/2011 03:40 PM, Benjamin Caplan wrote:
I CFJ: G.'s citizenship switch is a player.
I retract this.
I CFJ: Droowl is a player.
Arguments:
By R869 (How to Join and Leave Agora), citizenship is an entity switch;
in particular, Droowl's citizenship has a citizenship switch.
R2162 (Sw
On 6/3/11 9:07 PM, omd wrote:
> I hereby distribute each listed proposal, initiating the Agoran
> Decision of whether to adopt it. For this decision, the eligible
> voters are the active first-class players at the time of this
> distribution, the vote collector is the Assessor, and the valid
> opt
I CFJ: G.'s citizenship switch is a player.
Arguments:
For ease of reference, let G_0 be G., and G_n be G_(n-1)'s citizenship
switch.
By R869 (How to Join and Leave Agora), citizenship is an entity switch,
implying that every switch has a citizenship switch. It follows that G_2
exists.
R2
