public ListTerm ToList() { ListTerm result = ListTerm.EMPTYLIST; int lo = lowBound.To <int> (); int hi = hiBound.To <int> (); for (int i = hi; i >= lo; i--) { result = new ListTerm(new DecimalTerm(i), result); } return(result); }