term_from_nat
