Added solution_find to return term associated with the given name.