mutable
t = (te:term)