Added printing of terms