On 06/24/2012 07:19 PM, omd wrote: > On Sun, Jun 24, 2012 at 5:01 PM, Aaron Goldfein <aarongoldf...@gmail.com> > wrote: >> For each player, I intend, without objection, to deregister em. > > I object to all of these, as you could do those players the favor of > naming them so they can more easily determine whether they're > included.
I morally object to this objection, as a player can straightforwardly
determine whether e is included via the algorithm {return true;}.
