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.