So, how do you feel about the recent IMO stuff? Don't they cause a consistency problem for your view that we've plateaued-- to me at least, I felt we were something like two years away from this kind of thing.

Probably very expensive to run of course, probably ridiculously so, but they were able to solve really difficult maths problems.