Brendan Long comments on Fairly Breaking Ties Without Fair Coins

[Brendan Long]

Thanks! I think it’s correct now.