The mathematical library should contain polished mathematics rather than still-chaotic material, even when that material can be taught to software.

“You know, we want polished, we want polished mathematics. Stuff which is still a bit chaotic, you know, one can attempt to teach it to the mach-- you know, we can teach it to the software, but we don't necessarily want to add it to the library.”