Formalization explores how complex mathematical structures are assembled from precise, simple rules.

“So it's really just, yeah, exploring the, the structure of, of mathematics and how the pieces get put together. I mean, we, we build up these, these, these very complex edifices on top of these, you know, kind of very, very precise rules and understanding how you get that level of complexity, you know, down to the, the very simple rules at the bottom, um, is really remarkable.”