teaching-defs.tcl