User blog comment:Edwin Shade/A Proof/@comment-1605058-20171104122735/@comment-30754445-20171109211416

I meant "real" as in "real numbers", not "real" as in "the real McCoy".

And your new example is really interesting. I gotta try it some time, to see how it grows.