We should apply mathematics to language design. The goal of the language should be maximum simplicity for the human developer. As much of the complexity as possible should be handled by software, either at compiletime or runtime. It should read like pseudocode. I want to write about this. We should study languages for the real reason we use them. We started out writing code by toggling switches on the front panel of the computer, and for a few decades we were factoring but then we turned around in the other direction. I am from the church of factoring. I do it in my designs of products at all levels, and I treat languages with the same care. It turns out all the rules of working on open systems also apply to language design. I plan to write more about this.