[EM] Markus: Demonstration that Benham & Woodall meet CD

[Markus Schulze]

Dear Mike Ossipoff,

premise 6 is ambiguous: "Candidate A would be the unique winner
under sincere voting (...in other words, if the B voters voted
sincerely, as do all the other voters)."

Does this mean that a method, that doesn't choose candidate A in
this scenario, automatically satisfies the Chicken Dilemma Criterion?

Or does this mean that a method, that doesn't choose candidate A in
this scenario, automatically violates the Chicken Dilemma Criterion?

Markus Schulze