Coherent Differentiation