solid 1CC definition

[Mike Ositoff]

This is a hopefully solid definition of a 1st Choice Criterion.

Definitions of terms in the criterion's definition:

Strategizing:

A group of voters "strategize" if they do other than sincerely
rank all of the candidates.

Informed Offensive Strategy:

A group of voters use "informed offensive strategy" if they
strategize in a way that will elect someone they like more
than the CW, if no other voters strategize, where the CW
would have otherwise won.

Thwarting Informed Offensive Strategy:

A group of voters thwart informed offensive strategy if they
strategize with the result of electing a candidate whom
users of informed offensive strategy like less than the CW.

1st Choice Criterion:

A group of voters consisting of a majority of all the voters
should have a way to elect the CW or thwart informed offensive
strategy, without any of that group having to vote a less-liked
candidate over their favorite.

(If there is a CW).

***

That's the weak version. For the strong version, replace
"over their favorite" with "equal to or over their favorite".

***

Mike