Oh you missed out so much by stopping at "But why stop there?"

> ...can also represent infinite sets

This is the highlight.