Euclid postulated a plane geometry based on some axioms [L1 ]. The system created by those axioms allowed one to reason and prove things about shapes, and even about numbers.
One of the axioms stuck out as being somehow less 'self-evident' than the others. So after more than a thousand years, people (Reimann and Lobachevsky) tried varying that axiom, and found new geometries which weren't planar, and which found uses.
The Dodekalogue of Tcl forms a similarly axiomatic system, and several of the axioms might be revised, leading to what one could call post-Euclidean Tcl. I propose a systematic exploration of the results of modifying the axioms to explore the properties of the resulting near-Tcl languages.
The purpose of this exploration is to see what Tcl might become, to see which axioms are self-evidently useful (if not self-evident) and to see whether some axioms might be made simpler without loss.