Euclid postulated a plane geometry based on some axioms [http://en.wikipedia.org/wiki/Euclidean_geometry#Axioms].  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.