The last paragraph of my previous message should have said
Remember the symmetric completion and reverse cancellation are not part of the sprucing up process; they are only an assumption making possible two dimensional geometrical analysis of spruced up methods that already happen to satisfy the Symmetric Completion and Reverse Cancellation properties.
[In the corrected version the word "process" replaces the word "property" in the second line.]
Forest ---- Election-methods mailing list - see http://electorama.com/em for list info