defined shrink for Term