Now using ArrayList<Term>