[EM] Idea for generalizing Resistant set into hopefully always strategyfree system

[Gustav Thorzen]

So while trying to prove/disprove Mutual Majority I tried to see if the
most 3 out of the 4 Mutual Majority + Monotonicity + LN-Help + LN-Harm
impossibility theorem could be proved with Random Ballots tiebreaking.

During that I realized I had in my LN-Help+Harm proof failed to include
all possible scenarios that can cause a change in the size of the T set,
so compliance with LN-Help+Harm is still an open question.

The rest still looks good but I no longer feel confident about making claims
about specific criteria compliance knowing I just missed some possible cases.

Sorry for the errors.
Gustav