more elaborate printing of terms