On Sat, Nov 16, 2002 at 09:31:08PM +0100, Jochen Voss wrote: > Is the default option supposed to be in the list of options for which > we do "Cloneproof Schwartz Sequential Dropping" below? Maybe we > should replace "Options" by "Non-default options" in this paragraph?
For an option to be in the Schwartz set, it must either tie or beat at least one other option in the Schwartz set. The default option can never be in the Schwartz set, because any option which does not defeat the default option is eliminated before the first Schwartz set is created.. Thanks, -- Raul
