[EM] ICT doesn't meaningfully fail CC. CC isn't meaningfully incompatible with FBC.

[Michael Ossipoff]

Suppose you rank X and Y both in 1st place.

You do so because you prefer that X or Y wins.

If (in un-improved Condorcet) X beats Y, thereby giving the win to
someone you like much less than X and Y, you won't like that.

You'd prefer that that not happen.

In ICT, your equal top-ranking of X and Y counts as your use of your
voting power toward keeping X and Y from beating eachother.

ICT counts equal top-rankings more in keeping with your wishes.

When the verb "beat" is defined consistent with your wishes when you
equal-top rank X and Y, and when your equal top ranking is interpreted
as you'd like it to be, then ICT doesn't violate Condorcet's
Criterion, and Condorcet's Criterion is not incompatible with FBC.

For the same reason, IC-Smith-T, IC-Schwartz-T, Double-Ended
IC-Smith-T, and Double-Ended IC-Schwartz-T meet the Smith Criterion
and Condorcet-Loser.

Mike Ossipoff