method set_term u = t <- u