Differentiation is a term used in different senses.