Get ready for contextual applications of differentiation