No, they searched for it. There's a lot of math literature out there, not even an expert is going to know all of it.