Hi, In case you are interested where we (Bond) currently stand with our ideas about constraining TMs (aka TMCL), see our new tutorial and the last version of the language specification: http://astma.it.bond.edu.au/constraining.xsp Constructive comments welcome! \rho