Thought coming from thoughts while in bed in the early morning
of 15 Dec. 2007:
   The epsilon e5 is probably redundant and complicating and should 
be simply set to 1 (always failing to allow repeated voting) because 
the acceptance levels can naturally simply adjust for that.
   And also the epsilon e4, applying to the first election might
(possibly!!) be set to be simply zero for an automatic repeat of that
election since, even with all players accepting something there might
not be an EFFECTIVE acceptance (of R1, R2, or R3). (But this seems
less clearly valid than the simplification in re of e5.)
   There seems to be a CLEAR occasion for testing it out here now.)