mutable t = (te:term)