Remove the declaration for term