The mathematical library currently consists almost entirely of well-considered, elegant ideas.

“Essentially all of the library now is, uh- is, is well thought out, beautiful ideas. Some of the things in the library are actually stuff that happened in the last few years, but a lot of it is much more basic stuff, uh, that we feel like we understand well because that's, you know, that's when you want to commit, right?”