method
set_term u = t <- u