Raemon comments on IMO challenge bet with Eliezer

[Raemon]

Congratulations on ironing out the bet! It seemed like a lot of work. :)