Leo came to recognize dependent type theory's benefits and describe it as beautiful, despite initially needing persuasion.

“He, you know, um, um, you know, soon after he would say that, you know, it's, it's really beautiful. And so he, he recognized the benefits. Um, but again, coming, coming from the outside and, uh, uh, you know, without the familiarity, um, yeah, he, he needed convincing at first.”