Demo of Substitution in Tcl