Techniques for differentiation