Thanks, but I'm not a newbie by any means. Yes, names are necessary. I just wish there was a clear indication that they are names. Nobody is confused by the te

Thanks, but I'm not a newbie by any means. Yes, names are necessary. I just wish there was a clear indication that they are names. Nobody is confused by the term “Dedekind cut” because it's clearly a name. This is partly a fault of English (or other natural languages) and partly of math nomenclature.