So it's useful to have as a kind of bounce back, a mirror to bounce your ideas back and forth, but still at the end of the day where we are with AI, if it spits out a piece of mathematics, it is not a discovered piece of mathematics on its own, and you really have to be careful because it's not quite there with its reasonability yet.