non-canonical differentiation