"Printing" a term to a string