[pron]

> The annoying details of type theory don't get in the way until you get to large sets.

I meant set theory there, not type theory.