External Differentiation