[EM] Symmetrical ICT can work as intended, and meet Later-No-Help.

[Michael Ossipoff]

It's easily fixed.

To the definition, after the line

X beats Y iff (X>Y) + (X=Y)B > (Y>X) + (X=Y)T...

insert:

...except that two candidates can't beat eachother. If the above line
would have two candidates beat eachother, then one of them beats the
other. The one that beats the other is the one who is ranked over the
other on more ballots than vice-versa.

Mike Ossipoff